P
Initializing...
A nontrivial odd order modulo p = 1 mod 4 is at least (p-1)/4 · Prove2Me