A Appendix 483 A.1 Theoretical Proofs