Problem 9.10