En efecto, si formula_158 y formula_159 son congruencias, se tiene que