$$a^{\phi(n)} \equiv 1 \qquad ({\rm
mod} n)$$