Teorema 1.18: "Sea formula_24 un grupo finito y formula_232.