a^{\phi(n)} \equiv 1 \pmod{n}