Reductio ad absurdum

Sign in to test your solution.