Category:Euclidean Metric on Real Number Line is Metric