Sekarang kita uji pernyataan pertama, yaitu a-satu tambah a-dua sama dengan ganjil. Jika disubstitusi, persamaannya menjadi a-satu ditambah a-satu dikurang tiga sama dengan ganjil, atau dua a-satu dikurang tiga sama dengan ganjil. Karena dua a-satu selalu genap, maka dua a-satu dikurang tiga akan selalu bernilai ganjil untuk a-satu bilangan bulat apa pun. Jadi, pernyataan satu tidak cukup untuk menentukan apakah a-satu genap atau ganjil.