Euclidean Metric on Real Vector Space is Metric

Theorem
The Euclidean metric is a metric.

Proof
This is a special case of the general Euclidean metric.

The result follows from General Euclidean Metric is a Metric.