Problem 1.3 solved