Assume for the sake of contradiction \exists\ 0, 0’ both being additive identities in vector space V. Therefore:

\begin{equation} 0+0’ = 0’ +0 \end{equation}

commutativity. Therefore:

\begin{equation} 0+0’ = 0 = 0’+0 = 0' \end{equation}

defn. of identity. Hence: 0=0’, \blacksquare.

[[curator]]
I'm the Curator. I can help you navigate, organize, and curate this wiki. What would you like to do?