Euclidean Metric on Real Vector Space is Metric/Proof 1

Theorem
The Euclidean metric is a metric.

Proof
The Euclidean metric is a special case of the $p$-product metric.

The result follows from $p$-Product Metric on Real Vector Space is Metric.