# Euclidean Metric on Real Vector Space is Metric/Proof 1

The Euclidean metric on a real vector space $\R^n$ is a metric.
The Euclidean metric on $\R^n$ is a special case of the $p$-product metric.
The result follows from $p$-Product Metric on Real Vector Space is Metric.
$\blacksquare$