Proof verification and advice: Prove that an integer is divisible by 9 IFF the sum of its digits is also divisible by 9.
Why $9$ & $11$ are special in divisibility tests using decimal digit sums? (casting out nines & elevens)