Teorema 1.27: "Sea formula_1 un grupo y formula_79.