Let

Then let be the orders of these integers respectively.

That is,

Where, are minimal.

Now, so the order of exists. We note that,

Because,

So the order of is and must be a divisor of . Since we must have by Euclid's Lemma that . Thus, the order of is actually smaller, that is, unless which is this case here.