Solved problem 9.