added pre lemma 3.6