http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html

ジョルダン：曲線定理、世界初の完全証明　信州大教授ら
　フランスの数学者カミーユ・ジョルダンが１８８７年に概念を確立し、
その後多くの数学者らが完全証明に挑んできた「ジョルダンの曲線定理」について、
信州大工学部の中村八束（やつか）教授（６２）が２７日、ポーランドの数学者ら１６人との
約１４年間にわたる共同作業で、完全証明に成功したと発表した。
数式上の誤りなどを確認するコンピューターシステムのチェックを経て、
約２０万行にわたる証明が完成。中村教授らは「完全証明したのは世界初」としている。

　「ジョルダンの曲線定理」は「平面上の閉じた曲線は、平面を曲線の内と外に分ける」というもの。
直感的には明らかだが、数学的な証明は難しいとされてきた。

-------------------------------------------------------------------------------------

すんません。
これのすごさがよく分からないので、どう凄いのか解説お願いします。