Solved problem 23.