Supplementary Materials A Theoretical proofs