x∈{1,2,3,4,5,6} icin x2∈{1,2,4} olur. Yani eger a,b∈{0,1,2,3,4,5,6} ise ve ikisi ayni anda sifir degil ise a^2+b^2 \not \equiv 0 \mod 49 olur.
Yukaridaki bilgiyi kullanarak a\equiv b \equiv 0 \mod 7 olmasi gerektigini gosterebiliriz. Bu da sonuca direk goturur bizi.