( 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 → ĐPCM
Chú ý: abcabc và abc có gạch trên đầu