Вычитание натуральных чисел. Свойство вычитания.