Euclidean Metric is Metric/Proof 1

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

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