Kita harus menunjukkan bahwa \(X\setminus A\) terbuka. Caranya, untuk setiap \(x\in X\setminus A\text{,}\) bangun lingkungan buka \(O_x\) yang memuat \(x\) dan tidak beririsan dengan \(A\text{.}\)