Taxicab Metric on Real Vector Space is Metric/Proof 1

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

This is proved in Taxicab Metric is Metric.