Sea formula_20 un grupo.