Exercise 1.6.32

Let