Tahap 1. Citra \(f(P)\) terhubung lintasan. Tahap 2. Setiap himpunan terhubung lintasan berada dalam satu komponen lintasan. Tahap 3. Gunakan surjektivitas untuk kesimpulan global.