Fermat-Euler theorem

If $\gcd (a,n)=1$, then $a^{\varphi (n)}\equiv 1(\mathrm{mod}n)$. For prime $n=p$, this yields Fermat's little theorem.