Appendices A Proofs