Provably Consistent Partial-Label Learning: Supplementary Material A Proofs of Data Generation Process A.1 Proof of Theorem 1