если целые числа a и b делятся на целое число m, то их можно записать в виде
a=m*k, b=m*n , где k и n - некоторые целые числа
Но тогдаиспользуя распределительный закон умножения
a-b=m*k-m*n=m*(k-n), а значит разность а и b тоже делится на m, что и требовалось доказать. Доказано