Cancellability in Naturally Ordered Semigroup

Theorem
Let $\struct {S, \circ, \preceq}$ be a naturally ordered semigroup.

Then: