Tahap 1. Dari suatu selimut buka, pilih satu anggota tak kosong; hanya berhingga banyak titik yang belum terselimuti.

Tahap 2. Dua himpunan terbuka tak kosong tidak mungkin saling lepas.

Tahap 3. Topologi subruang pada \(A\) juga kofinit, sedangkan kriteria tertutup di \(X\) dapat dibaca dari komplemennya.