Problem 2 is solved.