Problem 9 is solved