Tahap 1. Karena \(A\) dan \(B\) tertutup dalam ruang kompak, keduanya kompak.

Tahap 2. Untuk setiap \(a\in A\text{,}\) pisahkan titik \(a\) dari himpunan kompak \(B\) dengan lingkungan terbuka \(U_a,V_a\text{.}\)

Tahap 3. Ambil subselimut berhingga dari \(\{U_a:a\in A\}\text{;}\) gabungkan sisi \(U_a\) dan iris sisi \(V_a\text{.}\)