Solution to problem 9, and small modification to p8.