Add 'Proof of Lemma 1'.