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

Обозначим через переменную n  приватное, которое мы получаем при разделении уменьшаемого на 3.

Соответственно само убавляемое мы можем представить в виде 3n.

Обозначим через переменную m  частное, которое мы получаем при разделеньи вычитаемого на 3.

Как следует само вычитаемое мы можем представить в виде 3m.

Запишем выражение разности 2-ух этих чисел:

3n - 3m = 3*(n - m).

Как мы лицезреем из перевоплощенного выражения, одним из делителей разности является число 3. Что доказывает, что разность делится на 3.