gọi d là số dư của a và b khi chia cho m (d\(\varepsilon\)n)
\(\Rightarrow\)\(\hept{\begin{cases}\left(a-d\right)⋮m\\\left(b-d\right)⋮m\end{cases}}\)mà a\(\ge b\)
\(\Rightarrow\)\(\left(a-d\right)-\left(b-d\right)⋮m\)
\(\Rightarrow\left(a-d-b+d\right)⋮m\)
\(\Rightarrow\left(a-b\right)⋮m\)