Langkah ketiga, kita eliminasi variabel x. Dari definisi a dan b, kita peroleh a kuadrat sama dengan x tambah empat dan sembilan b kuadrat sama dengan x kurang delapan. Jika dikurangkan, hasilnya adalah a kuadrat dikurang sembilan b kuadrat sama dengan dua belas, yang bisa difaktorkan menjadi a tambah tiga b dikali a kurang tiga b sama dengan dua belas.