Si formula_18, formula_19, se tiene que formula_20.