Если c кратно b, то существует целое число k, такое что c = kb.Если (a-c) кратно b, то существует целое число m, такое что (a-c) = mb.
Тогда a = (a-c) + c = mb + kb = (m+k)b.
Таким образом, a делится на b, если c кратно b и (a-c) кратно b.
Если c кратно b, то существует целое число k, такое что c = kb.
Если (a-c) кратно b, то существует целое число m, такое что (a-c) = mb.
Тогда a = (a-c) + c = mb + kb = (m+k)b.
Таким образом, a делится на b, если c кратно b и (a-c) кратно b.