>>331
そうでしたか
系3.12(予想3.12?)は強力なのですね
今は関係者は皆これを証明しようとしてるんでしょうか