additive inverse of an inverse element
In any ring , the additive inverse of an element must exist, is unique and is denoted by . Since is also in the ring it also has an additive inverse in , which is . Put .Then by definition of the additive inverse, and . Since additive inverses are unique, it must be that.