Panduan sebelumnya memberi lintasan dari setiap \(y\in U_x\) ke \(x\text{.}\) Untuk \(y,z\in U_x\text{,}\) ambil lintasan \(y\leadsto x\) dan balik lintasan \(z\leadsto x\) menjadi \(x\leadsto z\text{.}\) Hasil kali keduanya kontinu dan menghubungkan \(y\) ke \(z\text{.}\) Jadi \(U_x\) terhubung lintasan.