Ketiga, evaluasi pernyataan satu untuk mencari a satu. Gunakan a dua sama dengan tujuh dikurang dua a satu. Dua sama dengan tujuh dikurang dua a satu, maka dua a satu sama dengan lima. Hasilnya, a satu sama dengan dua koma lima. Karena dua koma lima bukan bilangan bulat, pernyataan satu benar.