through lemma 5.4.1 of chapter II