Robust Data Pruning under Label Noise via Maximizing Re-labeling Accuracy (Supplementary Material) A Complete Proof of Theorem 3.4 The α-expansion and β