Exercise 1.6.54

Let