P
Initializing...
The global formula is regular at every prime power. · Prove2Me