Dado un número $n$, entonces para cualquier numero $a$ con $(a,n)=1$ se cumple que:\n$$n\mid a^{\varphi(n)}-1$$\nDonde $\varphi(n)$ es el numero de enteros positivos menores a $n$ que son primos relativos con $n$.