Problem 1.8 solved