Exercise 3.1 (9)