En consecuencia, las coclases izquierdas coinciden con la clase derecha, lo que implica que formula_6 es un subgrupo normal de formula_19.