結局ショルツ側の主張としては例え3.11までを無条件に認めても3.12はでないといってるのかな？
じゃあ望月先生の側は

系3.12の仮設を仮定する。
すると系×××の×××＝×××の場合から×××である。
よって定理×××の×××＝×××、×××＝×××の場合から×××である。
以上により3.12の結論を得る。

みたいな文章を作ればいいんだよね？
なんか星先生だかだれだかがそんな文章作ったって情報あったけどそれは通用してないのかな？