Trichotomy Law for Real Numbers

Theorem
The real numbers obey the Trichotomy Law.

That is, $\forall a, b \in \R$, exactly one of the following holds: