Euclidean Metric on Real Vector Space is Metric/Proof 2

Theorem
The Euclidean metric is a metric.