2) The inverse of

is

. Assume that there exists another inverse element denoted as

such that
Now, by the definition of inverse element, we have:
But from the third axiom, we have:
Ergo:
Which contradicts our original assumption

, so the inverse element must be unique.