Taxicab Metric on Real Vector Space is Metric

Theorem
The taxicab metric on $\R^n$ is a metric.

Proof
This is an instance of the taxicab metric on the general cartesian product of $A_{1'}, A_{2'}, \ldots, A_{n'}$.

This is proved in Taxicab Metric is Metric.