Proof by Contradiction/Variant 3/Formulation 2/Proof 2