Trichotomy Law for Real Numbers/Proof 2

Proof
$\le$ is a total ordering on $\R$.

The trichotomy follows directly from Trichotomy Law.

That $<$ is transitive follows from the definition of a strict total ordering.