Además se cumple que formula_4 abierto en formula_5 vecindad de formula_6 tal que