Exercise 10.5.7 (last in the chapter)