1.1 Proof by contradiction