Supplementary Material A Proofs