Выполним вычитание и проверку сложением.
Вывод: Чтобы проверить вычитание, нужно к результату (разности) прибавить вычитаемое. Если получится уменьшаемое, то вычитание выполнено верно.