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?