Example - Proof by Contradiction