Problem 1.13 solved