Reductio ad absurdum, which Euclid loved so much, is one of a mathematician's finest weapons. It is ...
