Category:Supremum Metric on Continuous Real Functions is Metric