Tahap 1. Ambil sebarang \(x\in\overline{A}=A\cup A'\text{.}\)

Tahap 2. Jika \(x\in A\text{,}\) gunakan \(A\subseteq C\text{;}\) jika \(x\in A'\text{,}\) gunakan komplemen terbuka \(X\setminus C\) untuk memperoleh kontradiksi bila \(x\notin C\text{.}\)

Tahap 3. Gabungkan inklusi ini dengan fakta bahwa \(\overline{A}\) tertutup dan memuat \(A\text{.}\)