Inequality iff Difference is Positive

Theorem
Let $x, y \in \R$.

Then the following are equivalent:


 * $(1): \quad x < y$
 * $(2): \quad y - x > 0$

Proof
Hence the result.