Category:Euclidean Metric is Metric