Similarmente se prueba que la clase de equivalencia de un elemento formula_4 de formula_1 por la relació de congruencia módulo formula_2 por la derecha es el conjunto