added pre lemma 3.3