「ジョルダンの曲線定理」は「平面上の閉じた曲線は、平面を曲線の内と外に分ける」というもの。

いやもう、そんなものわざわざ証明しなくても一目瞭然疑問の余地無し…と思ったけど、

中村教授は「同様のシステムでコンピュータープログラムにミスがないことを確認するなど、今回の成果は実社会にも応用できる可能性がある」と話している。

おお、素晴らしい。品質会計要らなくなるじゃん。
つか…ベン図は今まで実は怪しかったのか！！！　
MIZERっていうプルーフチェッカーソフトだそうな。Pascalっぽい?