Tahap 1. Semua subhimpunan \(X\) kompak karena berhingga.

Tahap 2. Ambil komplemen setiap anggota \(\tau\) untuk mendaftar himpunan tertutup.

Tahap 3. Pilih salah satu himpunan tertutup nontrivial dari daftar tersebut.