Category:Taxicab Metric is Metric