Euclidean Metric on Real Number Line is Metric

Theorem
The Euclidean metric on the real number line $\R$ is a metric.