Theorem ZVU Zero Vector is Unique

Suppose that $V$ is a vector space. The zero vector, $\zerovector$, is unique.

Proof
(in context)