Solution to problem 9.