formula_3 entonces formula_4