Appendix AProofs A.1 ProofofLemma3.1