Euclidean Metric is Metric/Proof 1

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

The result follows from $p$-Product Metric is Metric.