Analisis pernyataan satu: jika g x benar tiga x tambah satu, maka f dari tiga x tambah satu adalah tiga x tambah satu kuadrat dikurang dua kali tiga x tambah satu. Hasil akhirnya adalah sembilan x kuadrat dikurang satu. Karena hasil ini tidak sama dengan pernyataan satu, kita bisa menjawab Tidak dengan pasti. Maka, pernyataan satu cukup.