Teorema 1.30: "Sea formula_24 un grupo y formula_430.