Add 'Proof of Lemma 2' slide.