Pilih \(a_1,\ldots,a_n\) sehingga \(A\subseteq\bigcup_iU_{a_i}\text{.}\) Maka \(U=\bigcup_iU_{a_i}\) dan \(V=\bigcap_iV_{a_i}\) terbuka, memuat \(A\) dan \(B\text{,}\) serta saling lepas.