Exercise 1.6.45

Let