Tahap 1. Untuk \(x<y\text{,}\) gunakan lingkungan basis \([x,y)\) dan \([y,y+1)\text{.}\)

Tahap 2. Setiap lingkungan terbuka dari \(x\) memuat suatu \([x,b)\) dengan \(b>x\text{.}\)

Tahap 3. Tunjukkan bahwa \([x,b)\) tertutup tetapi tidak kompak dengan selimut menaik yang batas kanannya menuju \(b\text{.}\)