Added Proof of Exercise 2