Exercise 1.12.