Sea formula_9 un grupo.