Sekarang uji pernyataan satu, yaitu a ditambah b sama dengan tiga. Jika kita substitusi a sama dengan tiga dikurang b ke dalam syarat a dikali b sama dengan tiga, kita dapatkan persamaan b kuadrat dikurang tiga b ditambah tiga sama dengan nol. Saat dicek diskriminannya, hasilnya adalah minus tiga. Karena diskriminan kurang dari nol, tidak ada nilai b real yang memenuhi. Jadi, sistem pasti memiliki solusi, dan pernyataan satu saja cukup.