Teorema 1.15: " Sea formula_24 un grupo y formula_175 con formula_126 no vacío.