Solution to problem 9