Sekarang uji pernyataan satu, yaitu a tambah b sama dengan tiga. Kita cek apakah mungkin a kali b sama dengan tiga dengan substitusi a sama dengan tiga kurang b. Didapat b kuadrat kurang tiga b tambah tiga sama dengan nol. Karena diskriminannya minus tiga, yang artinya kurang dari nol, maka tidak ada nilai b riil yang memenuhi. Artinya, kondisi a kali b tidak sama dengan tiga selalu benar, sehingga pernyataan satu saja cukup.