Solve problem 4.4.4.