Tenemos pues que si formula_15, entonces las relaciones de congruencia izquierda y derecha módulo formula_9 coinciden, luego cualquiera de ellas da lugar al mismo conjunto cociente formula_19.