Teorema 1.30: "Sea formula_1 un grupo y formula_15.