Conditions under which Commutative Semigroup is Group/Lemma 2

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

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