La última congruencia se sigue directamente del teorema de Euler cuando formula_3 es coprimo con formula_4.