add proof for chapter 1 ex 8