Exercise 4.4(ii) has an easy generalization