Exercise 4.4.3 solution