Problem 4.1 is finished.