Sekarang kita lakukan substitusi dan penyederhanaan. Masukkan x sama dengan tiga ke fungsi f x, sehingga f tiga sama dengan b dikurang tiga a. Lalu samakan kedua nilai f tiga tersebut, didapat b dikurang tiga a sama dengan a tambah dua b. Jika kita pindahkan variabelnya, kita peroleh minus empat a sama dengan b, yang berarti empat a tambah b sama dengan nol.