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

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