Metric Induced by Norm is Metric

Theorem
Let $V$ be a normed vector space, and denote $\left\Vert{\cdot}\right\Vert$ for its norm.

Let $d$ be the metric induced by $\left\Vert{\cdot}\right\Vert$.

Then $d$ is a metric.