Euler's theorem

$a^{\varphi (n)}\equiv 1(\mathrm{mod}n)$
where $a$ is an integer relatively prime to $n$
and $\varphi (n)$ is the Euler totient of $n$