partialy added lemma 1.6