Solution to problem 13.