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