Lecture 3 1 Proof by Contradiction 2 Proof by Cases