プルーフチェッカーのデモの一つとして、曲線定理をやってみただけでは?