Reductio ad Absurdum/Variant 1/Proof 1