A Appendix A.1 Proof of Theorem