\[a^{\phi\left(n\right)}\equiv 1\pmod{n},\]