Keluarga \(\{O_a\mid a\in A\}\) menyelimuti \(A\text{.}\) Karena \(A\) kompak, terdapat subselimut berhingga \(O_{a_1},\ldots,O_{a_n}\text{.}\)