[futune]

I think this is a good comment. Could you also provide an example of a true (essential?) proof of contradiction of an elementary mathematical statement, to illustrate?