Exercise 1.13.