Category:Euclidean Metric on Real Vector Space is Metric