Efectivamente, pues si formula_70 es uno de los elementos de la clase de equivalencia de formula_40 por esta relación de congruencia, formula_328, es decir, formula_363 para cierto formula_201 de formula_126, lo que equivale a que formula_366.