Added sketch of the proof of the lemma