Ta có: (overline(abc)-overline(deg)) \ vdots \ 7

=> overline(abc)-overline(deg)=7x (x in ZZ)

=> overline(abc)=7x+overline(deg)

Mà overline(abcdeg)=overline(abc)*1000+overline(deg)

=> overline(abcdeg)=(7x+overline(deg))*1000+overline(deg)

=7000x+1000overline(deg)+overline(deg)

=7000x+1001overline(deg)

=7(1000x+143overline(deg)) \ vdots \ 7

=> overline(abcdeg) \ vdots \ 7 (đpcm)