Solve problem 1.2.23.