ta có abcd-(a+b+c+d)
=a.1000+b.100+c.10+d -a-b-c-d (bỏ dấu ngoặc)
=(a.1000-a)+(b.100-b)+(c.10-c)+(d-d)
=a.999+b.99+c.9
=a.9.111+b.9.11+c.9
vì tất cả các số hạng trong tổng trên đều chia hết cho 9 nên tổng đó chia hết cho 9 hay abcd -(a+b+c+d) chia hết cho 9