Esto fue generalizado por Euler: para todo entero positivo "n" y todo entero "a" relativamente primo a "n", :"a" ≡ 1 (mod "n"),