Tahap 1: kini \(x\in X\setminus A\text{,}\) jadi titik luar sudah tersedia di \(N\text{.}\) Tahap 2: dari \(x\in\overline{A}\) tetapi \(x\notin A\text{,}\) simpulkan \(x\in A'\) dan gunakan definisinya.