Jika \(x\in L_m\) dan \(y\in L_n\text{,}\) parameterisasi bagian ruas dari \(x\) ke \(v=(0,1)\) dan bagian ruas dari \(v\) ke \(y\text{.}\) Keduanya lintasan linear yang terletak dalam \(H\text{.}\) Menempelkan keduanya di \(v\) menghasilkan lintasan dari \(x\) ke \(y\text{.}\) Jadi \(H\) terhubung lintasan.