Teorema 1.13: "Sean formula_24 y formula_126 dos grupos cualesquiera.