Si
a és
coprimer amb
n, llavors la multiplicació per
a permuta el residu de les classes mòdul
n que siguin
coprimeres amb
n; en altres paraules (escrivint
R per indicar el conjunt que consisteix en els φ(
n) d'aquestes classes diferents) els conjunts
{ x : x de R } i
{ ax : x de R }
són iguals; per tant, els seus productes són iguals. Així,
P ≡ aφ(n)P (mod n) on P és el primer d'aquests productes.
Com que P és coprimer amb n, en resulta que
aφ(n) ≡ 1 (
mod n).