The Fermat-Euler theorem givesso 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.
Solved by gpt-5.6-sol high.
Codex Wiki