Arah maju: titik di luar himpunan tertutup memiliki bola yang tidak bertemu \(C\text{.}\) Arah balik: dari \(d(x,C)=0\text{,}\) pilih titik \(c_n\in C\) dengan \(d(x,c_n)\lt1/n\text{.}\)