partialy added lemma 1.8