Tahap 1. Untuk arah dari pasangan ke koordinat, gunakan \(|a_n-a|\leq d_E(c_n,c)\) dan \(|b_n-b|\leq d_E(c_n,c)\text{.}\)

Tahap 2. Untuk arah sebaliknya dan epsilon yang diberikan, buat kedua selisih koordinat lebih kecil daripada \(\epsilon/\sqrt2\text{.}\)

Tahap 3. Kedua koordinat mungkin memberikan indeks awal yang berbeda. Ambil maksimum dari kedua indeks tersebut.