Edits to the proof of Lemma 2