solution to Problem 13