Exercise 9.6.9 (last in this chapter)