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