Теория:

По этому рисунку можно составить несколько числовых выражений.

Сначала назовём компоненты и результат действия сложения в первом выражении. Первое слагаемое — \(7\), второе слагаемое — \(5\), сумма — \(12\). Теперь назовём компоненты и результат действия вычитания в третьем выражении: уменьшаемое — \(12\), вычитаемое — \(5\), разность — \(7\).
Если мы хотим проверить, правильно ли мы сложили два числа, то можем воспользоваться вычитанием. Дело в том, что сложение и вычитание связаны друг с другом.
Если мы из суммы двух чисел вычтем одно из них, то получим второе число.
Это правило помогает нам проверить верность сложения.
Пример:
например, мы выполнили сложение: . Для проверки его правильности нам необходимо из суммы \(63\) вычесть второе слагаемое \(23\). В результате у нас получилось \(40\), первое слагаемое. Значит, сложение мы выполнили правильно. Для проверки можно также из суммы вычесть другое слагаемое: .
Если мы хотим проверить, правильно ли мы вычли одно число из другого, мы можем воспользоваться сложением. Вы знаете, что вычитание и сложение связаны друг с другом.
Если мы к разности двух чисел прибавим вычитаемое, то получим уменьшаемое.
Это помогает нам проверить правильность вычитания.
Пример:
например, мы выполнили вычитание: . Для проверки правильности вычисления мы должны к разности \(26\) прибавить вычитаемое \(30\). У нас получилось \(56\), уменьшаемое. Это говорит о том, что мы верно выполнили вычитание.
Проверить правильность вычитания можно и по-другому.
Если мы из уменьшаемого вычтем разность, то получится вычитаемое.
Таким образом, вычитание можно проверить с помощью самого вычитания.

Источники:
Изображения. @ ЯКласс.