End of proof Lemma 1