Claramente, formula_238 es un supramorfismo cuyo núcleo es precisamente formula_236 lo que muestra que formula_236 es un subgrupo normal de formula_19.