Lalu kita uji pernyataan kedua, yaitu a dikurang b sama dengan lima. Dengan substitusi ke rumus batas atas, kita dapatkan x sama dengan lima per dua atau dua koma lima. Karena kita menemukan nilai aktual yang berbeda dari target satu, kita bisa menjawab pertanyaan soal dengan pasti. Jadi, pernyataan dua saja cukup.