>>12
まさに系3.12らしい

星裕一郎：京都大学数理解析研究所
>しかし同時に、残念ながら、私はまだ自分の役割を完全には果たせていないとも考えています。特に、先に述べた定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの多くが、その中に何か超えられない壁があると感じていること、その事実を私は重く受け止めなければいけません。そして、そのような状況に対して、自分自身の至らなさも強く感じています。
https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f