Teorema 1.31: "El núcleo de todo homomorfismo de grupos formula_40 es un subgrupo normal del dominio de formula_40.