Theorem AIU Additive Inverses are Unique

Suppose that $V$ is a vector space. For each $\vect{u}\in V$, the additive inverse, $\vect{-u}$, is unique.

Proof
(in context)