Vector Space has Unique Additive Inverses