Si "q" es un primo que divide formula_16, entonces formula_17 ≡ 1 (mod "q").