Taxicab Metric is Metric

Theorem
The taxicab metric is a metric.