Vì tổng các chữ số có cùng dư khi chia cho 9 và a; 2a có tổng các chữ số giống nhau nên a; 2a có cùng dư chia cho 9.
Đặt a = 9q + r
2a =9k + r
(q; k; r thuộc N*; k > q)
=> 2a - a = a
=> (9k + r) - (9q + r)
=> 9k + r - 9q - r
=> 9(k - q) chia hết cho 9.
=> a chia hết cho 9.