Conditions under which Commutative Semigroup is Group/Lemma 1

Lemma for Conditions under which Commutative Semigroup is Group
Suppose the following:

Then:
 * If $y \circ x = x = y' \circ x$, then $y = y'$.

Proof
Similarly:

Thus we have: