Pequeño teorema de Fermat
Dado un entero $p$, primo, y un número entero $a$ tal que $a,p$ sean coprimos ($\text{m.c.d.}(a,p)=1$), entonces $a^{p-1}\equiv 1 (\text{mod}\, p)$ —afirmación equivalente a $a^p ≡ a (\text{mod}\, p)$—. Por ejemplo, si $p=3$ y $a=4$, se tiene que el residuo de la división euclídea de $a^p=4^{3-1}=16$ entre $3$ es $1$, como debe ser; esto es, el residuo de la división $4^3=64$ entre $3$ es igual a $4$.
Observación. Una consecuencia de este teorema es la siguiente: Como al dividir $a^{p-1}$ entre $p$ se obtiene resto igual a $1$, existe un $k\in \mathbb{Z}$ para el cual $a^{p-1}=k\, p +1$, multiplicando por $a$ en cada miembro de la igualdad, se tiene que $a^{p}= k \,p \,a + a$, luego $a^{p} - a$ es múltiplo de $p$ puesto que $k\,a$ és también un número entero.
Ejemplo. Sea $a=9$ y $p=2$ (primo), siendo $(9,2)=1$ y cumpliéndose así las condiciones suficientes del teorema. Comprabamos, en efecto, que $a^p=9^2=81 \mod 2 = 1$, coincidiendo con $a=9 \mod 2 =1$; y, además, $a^p-a \in (\overset{.}{p})$ pues $81-8=72 \in (\overset{.}{2})$. \diamond$
$\diamond$