Tahap 1. Topologi yang terinduksi pada subhimpunan tak berhingga juga bertopologi komplemen berhingga.

Tahap 2. Dua himpunan buka takkosong di ruang komplemen berhingga yang tak berhingga selalu beririsan.

Tahap 3. Pada subhimpunan berhingga, tunjukkan bahwa setiap bagiannya terbuka relatif.