Problem 4 is solved