Solve problem 1.3.2.