A Proofs A.1 Proof of Theorem 3.1