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