Efectivamente, pues si formula_5 es uno de los elementos de la clase de equivalencia de formula_4 por esta relación de congruencia, formula_9, es decir, formula_44 para cierto formula_45 de formula_2, lo que equivale a que formula_47.