Pada kompak \(K\text{,}\) gunakan kekompakan \(f(K)\) dan selimut oleh bola kecil. Untuk arah yang memerlukan lingkungan kompak-terbuka, susutkan selimut buka berhingga pada ruang kompak Hausdorff \(K\) menjadi himpunan-himpunan kompak.