Solve problem 4.4.5.