とりあえず、望月氏はこのタイヒミュラーとかいう理論で別の難問を証明して見て欲しい
その結果が別の簡単な証明と一致するかで本当に正しいかがわかるんではないかな？