Trichotomy Law for Real Numbers/Proof 2

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

The trichotomy follows directly from Trichotomy Law.