Sea formula_1 un grupo con formula_2.