Por tanto, existe un número "x" ≡ formula_20 tal que ("q" − 1)·"x" ≡ 1 (mod "p"), y por tanto un número "k" tal que ("q" − 1)·"x" − 1 = "kp".