Exercise 1.6.47

Let