Visa att kongruens

Du vill visa att $a_n \cdot 10^n + \dots + a_0 \equiv a_n +\dots+a_0 \,\pmod 9$ (eller 3).

Per definition gäller det att $a \equiv b \,\pmod k$ om och endast om $a-b \equiv 0 \,\pmod k$. 

Testa alltså att subtrahera siffersumman från talet och försök visa att differensen är delbar med 9.