Uniqueness of inverses

Lemma

Suppose we have some set and associative binary operation with a unit such that then two-sided inverses if they exists are unique.

Proof

Suppose for some element and let and be two-sided inverses. Then observe

giving equality.