formula_16, entonces formula_17