Докажите на основе теоретико-множественного подхода, что (а++е)=(а-с)+(в-е); (а++е)=(а-е)+(в-с), если все разности существуют в множестве целых неотрицательных чисел

(a++e) = (a-e) + (b-c) a+b-c-e = (a-e) + (b-c) //раскрыли скобкиa-e+b-c =  (a-e) + (b-c) // применили закон перестановки (комутативности)(a-e) + (b-c) =  (a-e) + (b-c) // приоритет при сложении и вычетании не важен, так что можем расставить скобки как угодно.