added lemma 2.4-2.7, partially added lemma 2.9