Como para todo formula_2 en formula_67 se cumple que