Докажите, что если каждое из 2-ух чисел "a" и "b" делится

Это свойство можно доказать практическим методом. Для этого мы просто заместо "a", "b" и "с" подставим числа. При том что бы "a" и "b" делилось на "с". Допустим, что:

a = 72, b = 27. Оба числа делятся на 9. Теперь найдем их разницу и попытаемся разделить её на 9. Получим:

72 - 27 = 45. 

45 делится на 9.

По сути, если брать два числа из результатов 1-го столбца таблицы умножения и найти их разницу, то приобретенное точно окажется в результатах этого столбца. Это достигается из за того, что у чисел есть общий множитель.