Teorema 1.13: "Sean formula_1 y formula_2 dos grupos cualesquiera.