The Fermat-Euler theorem gives
so the multiplicative order exists. For every integer ,
Thus the modular exponential is periodic with period . If were a smaller period, then would give , contradicting the minimality of . Hence is its least positive period.