A Summary of the Appendix

Neural Information Processing Systems 

We repeat Theorem 1 as follows. Theorem 2. Suppose the encoder