Eso es, formula_5 para todo ("x", "y") satisfaciendo la condición porque formula_6 es igual a cero en la restricción, pero los ceros de formula_3"F"("x", "y") están todos en formula_8.