P
Initializing...
Has Square Root Fast iff · Prove2Me