Problem 1.7 solved