Exercise 1.6.40

Let