Сложение можно проверить вычитанием из суммы одного из слагаемых, чтобы получить второе слагаемое.
Вычитание можно проверить сложением разности и вычитаемого, чтобы найти уменьшаемое.
Вычитание можно проверить вычитанием из уменьшаемого разности, чтобы найти вычитаемое.