Karena a dan b bilangan positif, kita cari faktor dari sembilan. Jika b sama dengan satu, maka dua a dikurang tiga sama dengan sembilan, sehingga dua a sama dengan dua belas dan a sama dengan enam. Cek syaratnya, enam lebih dari satu, jadi memenuhi! Jika kita coba b sama dengan tiga, maka a juga tiga, tapi ini salah karena syaratnya a harus lebih besar dari b.