A Appendix: Proof of Theorem 1 ⇡ ` (z) =E L