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

Theorem

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

Proof
Let $x > 0$.

Let $\left({-x}\right) < 0$.