Pilih pasangan terbuka saling lepas \(U_a\ni x\) dan \(V_a\ni a\text{.}\) Dari subselimut berhingga \(V_{a_1},\ldots,V_{a_n}\text{,}\) gunakan \(U=\bigcap_iU_{a_i}\) dan \(V=\bigcup_iV_{a_i}\text{.}\)