Appendix A. Proof of Theorem