Solved problem 9