April 20, 3:12 pm

Work done till Lemma 1.