Daftar pada tahap kedua adalah tepat daftar komplemen semua anggota sejati tak kosong dari \(\tau\text{.}\) Tidak satu pun muncul dalam \(\tau\text{.}\) Jadi tak ada himpunan klopen sejati tak kosong, padahal setiap pemisahan akan menghasilkan himpunan demikian. Oleh sebab itu \(X\) terhubung.