Teorema 1.17: "Sea formula_3 un grupo y formula_11.