formula_6 en la congruencia