Appendix A Proof of Theorem