Sean formula_1 y formula_2 tales que: