Proof by reductio ad absurdum