Exercise 4.5.4