comments in lemma 6.4