solution to Problem 25