Tahap 1. Setiap \(a\in A\) berada dalam himpunan buka \(O_a\text{.}\)

Tahap 2. Karena itu, \(\{O_a\mid a\in A\}\) adalah selimut buka bagi \(A\text{.}\)

Tahap 3. Terapkan kekompakan \(A\) kepada selimut ini.