あと、ノビコフ予想はそれ自体が最終目標みたいなもので、解けたところで
使い勝手のない予想だから（ただし完全解決した場合は別。そもそも基本群が
オートマティックって何を意味するんだ？）ほかのケースの証明に応用できない
（つまり結果を更新できない）ときはそこが行き止まり。