Solved problem 12.