Appendix A Proofs for Section 2