Обоснуйте, что если каждое из естественных чисел a и b делится

Так как a делится на естественное число c, то справедливо равенство: a : c = m либо a = m c.
Так как b делится на естественное число c, то правосудно равенство: b : c = n либо b = n c.
подставим полученные выражения заместо a и b
(a + b) : c = (m c + n c) : c = (m + n) c : c = m + n = a : c + b : c
либо (a + b) : c = a : c + b : c.