piccolo teorema di Fermat

Se $p$ è un numero primo, allora $\forall a\in \mathbb{Z}(a^p\equiv a\mathrm{mod}p)$.

Definizione equivalente:

Se $a,p\in \mathbb{Z}$ sono coprimi vale che $\forall a(a^{p-1}\equiv 1\mathrm{mod}p)$.