changing the reduction to -(a+b) => (-b) + (-a) AND proof of this property AND proof of impossibility of being (-a) + (-b)