Sharper Generalization Bounds for Pairwise Learning: Supplementary Material A Proof of Theorem 1