8e3308c853e47411c761429193511819-Supplemental.pdf

Neural Information Processing Systems 

From this we obtain the theorem by simplification and rearranging.