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