Solution to problem 13