The additive inverse of a vector is unique.

Created almost 9 years ago