Appendix

Neural Information Processing Systems 

Without loss of generality, we state the theorem in general form without conditioning on x.