En efecto, para todo formula_19 en formula_20,