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)