Appendix 1 Proofs