Appendix A: Missing Proofs A.1 Proof of Lemma 1 Proof