P
Initializing...
No exhaustive word family has open pairs of unbounded $2$-adic valuation · Prove2Me