>>914
>でも、折角見つけたのに、『閉じれないと証明じゃない』は
>なんかちょっと残念なのかなぁとも。

そうですね
しばしば 大定理が解かれたとき
「時代が進んで いろんな道具がそろったので 解けた」
とか 後付けで 言われたりします

確かに、それは一面の真理かも
ドリーニュさんが ヴェイユ予想を解いた
その前に グロタンディークが 大掛かりな道具を作った

いわゆる牛刀ですね
で、ニワトリを料理しようとしたが
グロタンディークは、もっと大きな牛刀を作ろうと考えた

だけど、グロタンディークがいなくなって
いまの牛刀でも ヴェイユ予想を料理できると考えたみたいですね

後で グロタンディークは、そんな小手先の料理法はだめだと
怒ったとか （＾＾