The existence of probability measures with given marginals