Vector Space has Unique Additive Identity

Theorem
A vector space has unique additive identity.