Teorema 1.11: "Sean formula_24 y formula_126 dos grupos y formula_127 un homomorfismo.