Reductio ad Absurdum/Variant 2/Proof 1