Pero esto, implica que para todo formula_149 en formula_6 y todo formula_20 en formula_19 debiera cumplirse que formula_159.