formula_3 y formula_15 entonces formula_16