A nontrivial odd order modulo a prime p = 1 mod 4 divides (p-1)/2 and so is at most (p-1)/2

Initializing...

A nontrivial odd order modulo a prime p = 1 mod 4 divides (p-1)/2 and so is at most (p-1)/2 · Prove2Me