Petunjuk M.55.1.
Jauh dari kedua titik asal, semua bagian planar kandidat basis terbuka secara Euklides. Pada \(0\) atau \(0^*\text{,}\) besarkan parameter \(r\) agar jari-jari \(1/r\) mengecil dan masuk ke dalam kedua himpunan yang sedang diiriskan.