Ordering of Inverses in Ordered Monoid

Theorem
Let $\struct {S, \circ, \preceq}$ be an ordered monoid whose identity is $e$.

Let $x, y \in S$ be invertible.

Then:
 * $x \prec y \iff y^{-1} \prec x^{-1}$