Reductio ad absurdum

,