Appendix B: Proofs