Stub 'Proof of Lemma 3' slide.