First part of the proof of the lemma
Second part of the proof of the lemma