De hecho, del pequeño teorema de Fermat sabemos que si $p$ es un número primo y $a$ es un entero tal que $p \nmid a$ entonces $a^{p-1} \equiv 1 \pmod{p}$. En el caso en que $p=3$ lo anterior implica que $n^{2} \equiv 1 \pmod{3}$ si $(n,3)=1$; consecuentemente, $n^{3}\equiv n \pmod{3}$ para todo $n \in \mathbb{Z}$...