Misalkan \(\mathcal U\) suatu selimut buka bagi \(I_2\text{.}\) Pilih \(U_{-1},U_0,U_1\in\mathcal U\) yang masing-masing memuat \(-1\text{,}\) \(0\text{,}\) dan \(1\text{.}\) Setelah anggota yang kebetulan sama dihapus, paling banyak tiga himpunan ini masih menyelimuti \(I_2\text{.}\) Jadi setiap selimut buka mempunyai subselimut berhingga, sehingga \(I_2\) kompak.