Teorema 1.15: " Sea formula_1 un grupo y formula_5 con formula_2 no vacío.