Lemma 1 done besides well-defined points