Appendix A Proof of Theorem 2