Proof by Contradiction/Variant 2