Exercise 1 Proof