Real Number is Greater than Zero iff its Negative is Less than Zero

Theorem

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

Proof
Let $x > 0$.

Let $\paren {-x} < 0$.