# Taxicab Metric on Real Vector Space is Metric/Proof 1

The taxicab metric on the real vector space $\R^n$ is a metric.
This is an instance of the taxicab metric on the cartesian product of $A_{1'}, A_{2'}, \ldots, A_{n'}$.
$\blacksquare$