Ta có: \(\overline{abc}-\overline{def}\) ⋮13
\(1001\cdot\overline{abc}\) ⋮13(Vì \(1001=77\cdot13\) )
=>\(1001\cdot\overline{abc}-\left(\overline{abc}-\overline{def}\right)\) ⋮13
=>\(\overline{abc}\cdot1000+\overline{def}\) ⋮13
=>\(\overline{abcdef}\) ⋮13