Sekarang kita uji pernyataan satu, yaitu a tambah c sama dengan lima, yang berarti c sama dengan lima dikurang a. Karena a dan c bilangan asli, pasangannya bisa satu empat hingga empat satu. Jika a sama dengan satu dan c sama dengan empat, nilai D adalah negatif enam belas. Namun jika a sama dengan empat dan c sama dengan satu, nilai D adalah positif lima. Karena hasilnya bisa positif atau negatif, maka pernyataan satu saja tidak cukup.