Sea formula_24 un grupo.