Conditions under which Commutative Semigroup is Group/Lemma 3

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

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