Euclidean Metric on Real Number Line is Metric/Proof 1

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

Proof
The Euclidean metric on the real number line is a special case of the Euclidean metric on the real vector space $\R^n$.

The result follows from Euclidean Metric on Real Vector Space is Metric.