abcdeg = 1000abc + deg = 1001abc - (abc - deg) = 13.77.abc - (abc - deg) .
Mà 13.77.abc \(⋮\)13 ; (abc - deg) \(⋮\)13 => 13.77.abc - (abc - deg) \(⋮\)13 => abcdeg \(⋮\)13.
Vậy nếu (abc-deg) chia hết cho 13 thì abcdeg chia hết cho 13
Ta có :
abcdeg = abc x 1000 + deg
= ab x 1001 + deg - abc
= ab x 13 x 17 + (deg - abc)
Vì (abc - deg) chia hết cho 13
=> abcdeg chia hết cho 13