Esta propiedad dice lo siguiente: si "b", "m" y "n" son enteros positivos tales que "m" y "n" no son divisibles por "p" - 1 y formula_30, donde φ() es la función φ de Euler, entonces: