Solved problem 13