Needs more historical context - explain why this proof warrants an article. C Mummert ยท talk 16:39, 14 May 2007 (UTC)