Euclidean Metric on Real Vector Space is Metric

Theorem
The Euclidean metric on a real vector space $\R^n$ is a metric.

Also see

 * Euclidean Metric on Real Number Line is Metric