Lec7 - Exercise - Proof