Entonces, para todo formula_117, formula_196 en formula_3 se cumple que