Satu arah memakai \(|a_n-a|\leq d_E(c_n,(a,b))\text{.}\) Untuk arah balik, buat kedua selisih koordinat lebih kecil dari \(\epsilon/\sqrt2\) secara serentak.