Divisibility by 9/Proof 2

Proof
This is a special case of Congruence of Sum of Digits to Base Less 1.