Правильно ли утверждение:если убавляемое делится на некое число,а вычитаемое нет, то

Пусть а уменьшаемое, b вычитаемое, С делитель.

Докажем утверждение от неприятного.

Тогда, нужно обосновать, что (a b) = k * С, где k естественное число.

По условию,

a = m * С,

b = n * С + r, где r остаток от разделения, m и n естественные числа.

Как следует,

(a b) = m * С (n * С + r) = m * С n * С r = С * (m n) r = С * k + (- r).

То есть, разность (a b) не делится на естественное число С без остатка в таком случае.

Следовательно, утверждение правильно.