A universal support theorem for 1-Wasserstein optimal transport

We show that every optimal transport plan for the $1$-Wasserstein distance in ${\mathbb{R}}^n$ is supported on a closed $n+1$ rectifiable set. In particular, the support of any optimal plan has Hausdorff dimension at most $n+1$.