The order of a group element to some power is equal to the order of the generator, divided by the gcd of the order of the generator with the power of the element.
See greatest common divisor, cyclic group, order of a group
Let
Then
If
Then
Proof
Let
so
Let
nb
and
so there is no such
Therefore:
if
In particular,
QED