自分の証明が正しいのかどうか分らなくなった、と書いているね。
どこかに、こうなる筈だという推定の部分があった、ということなのかね、結果的に正しかったのだとしても。