Langkah kedua, uji pernyataan satu yaitu a satu tambah a dua ganjil. Ingat, bedanya minus tiga, jadi a dua sama dengan a satu minus tiga. Jika disubstitusi, kita dapat a satu tambah a satu minus tiga sama dengan ganjil, atau dua a satu minus tiga sama dengan ganjil. Karena dua a satu pasti genap, maka genap dikurangi tiga pasti ganjil. Pernyataan ini selalu benar untuk nilai a satu apa pun, sehingga tidak cukup untuk menentukan apakah a satu itu genap.