Віднімання натуральних чисел, властивості віднімання