Solve problem 4.3.4.