Teorema 1.17: "Sea formula_24 un grupo y formula_232.