Add 'Proof of Lemma 3' slide.