Lecture 25
Ch 5, sec 4
Deduce theorem 4.1 and 4.2. Select examples from sec 2 to work out instances of these theorems.