Misalkan \(\{U_\alpha\}_{\alpha\in I}\) selimut buka bagi subhimpunan tertutup \(C\) dari ruang kompak \(X\text{.}\) Gunakan selimut tersebut dan fakta bahwa \(C\) tertutup untuk membuat selimut buka bagi \(X\text{.}\)