Uji pernyataan satu, yaitu a dan b adalah bilangan bulat positif. Jika a sama dengan satu dan b sama dengan dua puluh, maka a kali b adalah dua puluh. Namun, jika a sama dengan dua dan b sembilan belas, hasilnya tiga puluh delapan. Karena terdapat banyak kemungkinan nilai, maka pernyataan satu saja tidak cukup.