Supplementary Material: Data-Efficient Augmentation for Training Neural Networks A Proof of Main Results A.1 Proof for Lemma 4.1 Proof