Metric Induced by Norm on Normed Division Ring is Metric

Theorem
Let $\struct {R, \norm {\,\cdot\,}}$ be a normed division ring.

Let $d$ be the metric induced by $\norm{\,\cdot\,}$.

Then $d$ is a metric.

Proof of $M1$ and $M4$
Let $x, y \in R$.

Then $d \paren {x, y} = \norm {x - y} \ge 0$, and furthermore:

Proof of $M2$
Let $x, y, z \in R$.

Then:

Proof of $M3$
Let $x, y \in R$.

Then:

As $d$ satisfies the metric space axioms, it is a metric.