exercise 1.13 proof