Theorem

Let $a,m\in\mathbb{N}$. If $(a,m)=1$, (i.e. $a$ coprime to $m$) then $$a^{\phi(m)}\equiv1 \ (\text{mod }m)$$