1: \begin{proof}[Sketch of Proof]

2: Fix $i, j\in[K]$, s.t. $j\neq{p(i)}$ and arbitrary $G\in{F_p}$. The key step lies in comparing the terms (remember the positiveness of $A^{ij}$)

3: $$

4: 	T_{\text{non-paired}} = \int_{U_i}\int_{V_j}d^{'}_{\mathcal{N}}(G(s),t)d\tilde{\mu}_{i}(s)d\tilde{\nu}_{j}(t)

5: $$

6: and 

7: $$

8: 	T_{\text{paired}} = \int_{U_i}\int_{V_{p(i)}}d^{'}_{\mathcal{N}}(G(s),t)d\tilde{\mu}_{i}(s)d\tilde{\nu}_{p(i)}(t)

9: $$

10: For any $s\in{U_i}$, $G(s)\in{V_{p(i)}}\cap{V_j} = \varnothing$, which leads to $\forall{t\in{V_{p(i)}}, t^{'}\in{V_j}}$, $d_{\mathcal{N}}(G(s), t)\le{d}_{\mathcal{N}}(G(s),t^{'})$. And thus $T_{\text{non-paired}} \ge T_{\text{paired}}$. A rigorous proof can be found in Appendix A.

11: \end{proof}

12: