Solve problem 6.2.5.