Finish proof of lemma 1