This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
"See also" section does not introduce any new information. I suggest to delete it.
Non-constructive
As the proof is by contradiction (rather than by passing to the contrapositive), it is not constructive. It may be worth pointing this out in the article itself. Katzmik (talk) 11:31, 26 October 2008 (UTC)[reply]