Resultado de teoría de números: para enteros a y n con gcd(a,n)=1, se tiene a^{φ(n)} ≡ 1 (mod n), donde φ(n) es la función totiente de Euler que da el orden del grupo de unidades (Z/nZ)×.
Una generalización del resultado de Fermat: para n≥1 entero y a con gcd(a,n)=1, a^{φ(n)} ≡ 1 (mod n), donde φ(n) es la función totiente de Euler que cuenta las unidades módulo n.