Solved problem 13.