Нет, это неверно. Уменьшаемое может быть меньше вычитаемого, в результате получится отрицательное число. Но если речь идет только о натуральных числах, то уменьшаемое должно быть больше или равно вычитаемому, чтобы результат был натуральным числом или нулём.