An odd nontrivial order forces the odd count to be a multiple of an odd number at most (p-1)/2

Initializing...

An odd nontrivial order forces the odd count to be a multiple of an odd number at most (p-1)/2 · Prove2Me