Tahap 1. Jika suatu subhimpunan memuat bilangan ganjil, tentukan himpunan buka mana yang dapat memuat titik itu.

Tahap 2. Jika subhimpunan termuat dalam \(\E\text{,}\) topologi subruangnya bersifat diskret.

Tahap 3. Dalam ruang diskret, keluarga singleton menguji kekompakan himpunan tak berhingga.