chapter 7 starting from lemma 7.4
chapter 7 last lecture part norman