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.
in-context