Exercise 3.5.1
Exercise 3.5.2