Teorema 1.27: "Sea formula_24 un grupo y formula_398.