Similarmente se prueba que la clase de equivalencia de un elemento formula_40 de formula_24 por la relació de congruencia módulo formula_126 por la derecha es el conjunto