a \equiv 6 \mod 9 oldugunu biliyorsun.
Demek ki a^ 2 \equiv 36 \equiv 0 \mod 9.
Demek ki a^3 \equiv a^2 a \equiv 0 a \equiv 0 \mod 9.
-7'nin de mod 9'da ne oldugunu biliyorsun.
Son olarak eger a = b \mod m ve c = d \mod m ise a + c = b + d \mod m oldugunu biliyorsun.
Bunlari birlestir.