A Missing Proofs from Section 3

Neural Information Processing Systems 

By Lemma 5.2, this is Pr ( x K