Si formula_17 no es cerrado, entonces existe un elemento formula_67 que es un punto de acumulación de formula_17 pero no está en formula_17.