Left Cancellable Commutative Operation is Right Cancellable

Theorem
Let $\left({S, \circ}\right)$ be an algebraic structure.

Let $\circ$ be left cancellable and also commutative.

Then $\circ$ is also right cancellable.

Proof
Let $\circ$ be both left cancellable and commutative on a set $S$.

Then:

Also see

 * Right Cancellable Commutative Operation is Left Cancellable