Como formula_18 ≡ 1 (mod "q"), al elevar ambos lados de la congruencia a la potencia "x" resulta formula_22 ≡ 1, y como formula_23 ≡ 1 (mod "q"), al elevar ambos lados de esta segunda congruencia a la potencia "k" resulta formula_24 ≡ 1.