Order of Real Numbers is Dual of Order of their Negatives

Theorem

 * $\forall x, y \in \R: x > y \iff \paren {-x}< \paren {-y}$