satisfaciendo formula_3, con formula_4.