ord(a^2) | n

m | n

(a^2)^m = e

a^(2m) = e

n | 2m

even * even = even
even * odd  =  even
odd  * even = even
odd  * odd  = odd

m | n
n | m

m = n

m | n
n | 2m