査読ほぼ完了

すげえややこしい証明を読み込み読み込み一ヶ月以上経ってから、もっと簡単なやり方がありそうなことに気づくorz。というかメインの定理の一つはほぼ確実に修正可能。ってわけで、修正を提案して送り返す予定。おまけにどうにも出てきた問題が気にかかっちゃって、考えかけの問題をほったらかしてそっちに時間を費やしている有様。
ふぅ、時間は有効に使うようにしなければ。