Appendix B: proof of theorem 9