Group/Inverse element/Unique/Fact

Let $(G,e,\circ )$ be a group.

Then, for every

$x\in G$, the element $y\in G$ fulfilling

$x\circ y=y\circ x=e$

is uniquely determined.

Proof, Write another proof