Corolario 1.19: "Sea formula_24 un grupo y formula_256.