Komponen lintasan ruang terhubung lintasan secara lokal bersifat buka. Jika \(C\ne P\text{,}\) gabungkan komponen lintasan lain yang bertemu \(C\) menjadi \(Q\text{.}\)