La condición (1) anterior expresa que la función "F" no puede ser idénticamente nula en ningún abierto de formula_10.