Pero teníamos que ("q" − 1)"x" − "kp" = 1, lo que implica que formula_27 ≡ 1 (mod "q"); en otras palabras, que "q" divide 1.