Masuk ke langkah perhitungan, kita substitusi titik k koma negatif dua ke dalam pertidaksamaan x kuadrat tambah y kuadrat kurang dari tiga belas. Diperoleh k kuadrat ditambah negatif dua kuadrat kurang dari tiga belas, sehingga k kuadrat tambah empat kurang dari tiga belas.