A Proofs for Section 3.2 586 We present rigorous proofs for Lemma 3.2, Theorems 3.3 and 3.4 in Section 3.2, justifying the

Neural Information Processing Systems 

The end result is an empty set (last one in each row).