abcdef=abc.1000+def=abc.1001-abc+def=abc.1001-(abc-def)
vì abc.1001 chia het cho 7
(abc-def) chia het cho 7
nen suy ra;abc.1001-(abc-def) chia het cho 7.
suy ra abcdef chia het cho 7
ban cho minh nhe
Ta có : abcdef = 1000 abc + def = 1001 abc - abc + def = 1001 abc - (abc - def) = 143 . 7 . abc - (abc - def) Ta có : 143 . 7 . abc chia hết cho 7 (1) abc - def chia hết cho 7 (2) Từ (1) và (2) suy ra : 143 . 7 . abc - (abc - def) chia hết cho 7 Vậy abcdef chia hết cho 7 (ĐPCM)