Then let be the orders of these integers respectively.
Where, are minimal.
Now, so the order of exists. We note that,
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.