3.7 Appendix: Proofs