Solution to problem 8.