partialy added lemma 1.7