>>636
望月新一がCor 3.12の「証明」を正当化するのにあやしげなことをいっていて
ショルツェはそれに対して、そもそもCor3.12がおかしいだろうといってる
という状況だと思うが、君も同じこといってる？