Exercise 1.6.31

Let