y formula_19, entonces formula_20.