Ordering Compatible with Group Operation is Strongly Compatible/Corollary

Corollary to Ordering Compatible with Group Operation is Strongly Compatible
Let $\struct {G, \circ, \preccurlyeq}$ be an ordered group with identity $e$.

Let $\prec$ be the reflexive reduction of $\preccurlyeq$.

The following hold: