Problem 1.12 solved