P
Initializing...
A rough exponent bound $K_p\le p$ for the cyclic candidate constant · Prove2Me