added lemma 1.6, proved lemma 1.6