Dowód:
Zauważmy, że jesteśmy w stanie łatwo podać sumę cyfr rozważanej liczby. [tex]10^{36}[/tex] daje nam sumę cyfr równą [tex]1[/tex], a [tex]2*4^{4}=2^{9}[/tex] daje nam sumę cyfr równą [tex]8[/tex]. Zatem w rezultacie suma cyfr rozważanej liczby jest równa [tex]9[/tex], co oznacza, że liczba jest podzielna przez [tex]9[/tex].
[tex]q.e.d.[/tex]
