Una pequeña generalización del teorema, que se sigue de él, dice lo siguiente: si "p" es primo y "m" y "n" son enteros "positivos" con "m" ≡ "n" (mod "p"-1), entonces "a" ≡ "a" (mod "p") para todos los enteros "a".