Proof_Exercise.pdf