Cukup dibuktikan bahwa \(X\setminus C\) terbuka, yaitu bahwa setiap \(x\in X\setminus C\) mempunyai bola terbuka yang termuat dalam \(X\setminus C\text{.}\)