Real Number Line is Metric Space

Theorem
Let $\R$ be the real number line.

Let $d: \R \times \R \to \R$ be defined as:
 * $\map d {x_1, x_2} = \size {x_1 - x_2}$

where $\size x$ is the absolute value of $x$.

Then $d$ is a metric on $\R$ and so $\struct {\R, d}$ is a metric space.

Proof of $\text M 1$
So axiom $\text M 1$ holds for $d$.

Proof of $\text M 2$
So axiom $\text M 2$ holds for $d$.

Proof of $\text M 3$
So axiom $\text M 3$ holds for $d$.

Proof of $\text M 4$
So axiom $\text M 4$ holds for $d$.