Appendix A Proofs