Lemma. The inverse of an isomorphism is unique. [uniqueness-inverse]

Let be an isomorphism. Let be its left inverse and be its right inverse. Then .

Proof. [#]

We have by definition that and . Then we have as desired.