259: Proof by Contradiction