Sekarang kita substitusi rumus barisan aritmetika. u seratus tiga belas adalah a tambah seratus dua belas b. Dengan b sama dengan minus tiga, kita dapatkan pertanyaan inti: apakah a lebih dari tiga ratus tiga puluh tujuh? Mari uji pernyataan satu, u dua puluh lima kurang dari nol. Setelah dihitung, a dikurang tujuh puluh dua kurang dari nol, sehingga a kurang dari tujuh puluh dua. Jika a kurang dari tujuh puluh dua, sudah pasti nilainya tidak akan lebih dari tiga ratus tiga puluh tujuh. Karena memberikan jawaban pasti tidak, maka pernyataan satu saja cukup.