Problem 1.15 solved