Order of Real Numbers is Dual of Order of their Negatives

Theorem

 * $\forall x, y \in \R: x > y \iff \left({-x}\right) < \left({-y}\right)$