Real Number Ordering is Transitive

Theorem
The usual ordering on the real numbers is a transitive relation.

Let $a, b, c \in \R$ such that $a > b$ and $b > c$.

Then:
 * $a > c$

Proof
Follows from the definition of a strict total ordering.