Esto se deduce del Teorema de Lagrange y del hecho de que "n" pertenece al grupo multiplicativo de enteros módulo "n" formula_4 si y sólo si "n" es coprimo con "p".