Appendix B
Theorems and Proofs

B-1