Solve problem 7.2.4