Terakhir, kita gunakan analisis logika. Karena a dan b bilangan positif, maka perkalian yang hasilnya sembilan bisa satu kali sembilan, tiga kali tiga, atau sembilan kali satu. Jika kita asumsikan b sama dengan satu, maka dua a minus tiga harus sama dengan sembilan. Hasilnya dua a sama dengan dua belas, sehingga a sama dengan enam. Karena enam lebih besar dari satu, maka syarat a lebih besar dari b sudah terpenuhi!