Cancellability in Naturally Ordered Semigroup

Theorem
Let $\left({S, \circ, \preceq}\right)$ be a naturally ordered semigroup.

Then: