solve exercise 25.13