abcdef=abc.1000+def =abc.994 +abc.6 +def
=abc.994 +abc.6 -6def +7def =abc.994 +6.(abc-def) +7def
Vì abc.994=abc.7.142 chia hết cho 7
abc-def chia hết cho 7 =>6.(abc-def) chia hết cho 7
7.def chia hết cho 7
từ 3 ý trên =>abc.994 +6.(abc-def) +7def chia cho 7
vậy abcdef chia hết cho 7