formula_17 entonces