Teorema 1.11: "Sean formula_1 y formula_2 dos grupos y formula_3 un homomorfismo.