Show the following:
- is unique
- is the unique additive inverse of
So there exists a null vector obeying . Suppose there is another vector such that . Then . Hence is unique.
We know that . This is equaled to .
We know that . Then by associativity, . Hence .
Suppose there is some such that . Then . So since is unique.
Is this correct?