Tahap 1. Gunakan hipotesis bahwa \(A\) kompak.

Tahap 2. Pilih indeks berhingga \(\alpha_1,\ldots,\alpha_n\text{.}\)

Tahap 3. Tuliskan pernyataan penyelimutan yang dihasilkan untuk \(A\text{.}\)