Evaluasi pernyataan satu. Diketahui f dari g x sama dengan sembilan x kuadrat tambah tiga x minus satu. Kita substitusikan g x ke fungsi f sehingga menjadi g x kuadrat minus dua x sama dengan sembilan x kuadrat tambah tiga x minus satu. Pindahkan ruas menjadi g x kuadrat sama dengan sembilan x kuadrat tambah tiga x minus satu tambah dua x, sehingga g x kuadrat sama dengan sembilan x kuadrat tambah lima x minus satu. Maka g x adalah akar dari sembilan x kuadrat tambah lima x minus satu. Karena hasilnya bukan tiga x tambah satu, kita bisa menjawab TIDAK secara pasti. Jadi, pernyataan satu saja cukup.