( abcabc có gạch trên đầu)
ta có: abcabc = abc.1000+ abc
=> abcabc = abc ( 1000 + 1 )
=> abcabc = abc . 1001
vì 1001 chia hết cho 7, 11 và 13
=> abc . 1001 chia hết cho 7, 11 và 13
hay abcabc chia hết cho 7, 11 và 13 \(\rightarrow\) ĐPCM
Chú ý: abcabc và abc có gạch trên đầu