Benar. Selimut buka subruang bagi \(C\text{,}\) setelah diwakili oleh himpunan-himpunan buka dalam \(X\) dan ditambah \(X\setminus C\text{,}\) menjadi selimut buka bagi \(X\text{.}\) Kekompakan \(X\) menghasilkan subselimut berhingga bagi \(C\text{.}\)