P
Initializing...
The square of the local prime has an explicit power-of-two bound · Prove2Me