Proof by Contradiction/Variant 3