Misalkan \(X\) ruang Hausdorff, \(C\subseteq X\) subhimpunan kompak, dan \(x\in X\setminus C\text{.}\) Buktikan bahwa terdapat himpunan terbuka saling lepas \(U,V\subseteq X\) sedemikian sehingga \(x\in U\) dan \(C\subseteq V\text{.}\)