1.7. Proof by Contradiction