be true. Then we have reached a reductio ad absurdum. If the converse statement is false,