Category:Taxicab Metric on Real Vector Space is Metric