.

Thus, it cannot be because the order of is .

Thus, .

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, .

Also, .

Using properties of primitive roots and orders it means .