Supplemental Material A Proof for proposition