# Vector Space has Unique Additive Identity

 It has been suggested that this page or section be merged into Definition:Zero Vector. (Discuss)

## Theorem

A vector space has unique additive identity.

## Proof 1

Suppose $0$ and $0'$ are both additive identities for some vector space $V$. Then $0'=0'+0$ because $0$ is an additive identity. $0'+0=0+0'$ follows from the commutativity of vector spaces. Now, $0+0=0$ because $0'$ is an additive identity, and hence $0'=0$. Thus $V$ has a unique additive identity.

$\blacksquare$