Thus, it cannot be because the order of is .
This tells us, because .
Now we need to prove that if is order of then .
By the above result we see that , since is odd it follows that must be odd.
But then, .
Using properties of primitive roots and orders it means .