changed Lemma 4 and 5 presentation