Teorema 1.18: "Sea formula_3 un grupo finito y formula_11.