Supplementary Material: Robust Optimal Transport with Applications in Generative Modeling and Domain Adaptation 1 Proofs