Exercise 3.9.2d Solution