Uji pernyataan satu, a tambah b sama dengan tiga. Jika kita substitusi b sama dengan tiga dikurang a ke perkalian a b, didapat tiga a dikurang a kuadrat. Dengan cek diskriminan, hasilnya minus tiga. Karena diskriminan kurang dari nol, tidak ada nilai a real yang membuat a b sama dengan tiga. Jadi, pernyataan satu saja cukup.