  We prove that every element of the polar cone to the closed convex cone of
monotone transport maps can be represented as the divergence of a measure field
taking values in the positive definite matrices.
