Сформулируйте правило нахождения разности двух целых чисел

Чтобы вычислить разность двух целых чисел, нужно к уменьшаемому прибавить число, противоположное вычитаемому, то есть, a−b=a+(−b), где a и b – целые числа, b и −b – противоположные числа. Достаточно ли этого?

Примеры:

10 - 30 = 10 + (-30) = -20

-40 - 10 = -40 + (-10) = -50

-40 - (-10) = -40 + 10 = -30

0 - 50 = 0 + (-50) = -50

0 - (-50) = 0 + 50 = 50