Category:Vector Space has Unique Additive Identity