>>294-295 >>298
ID:ZTSfMBBa は、御大か
巡回ありがとうございます
コメントありがとうございます

なるほど・・・
”その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ”
”サテライト集会はあちこちで
始まっている”

O-竹腰拡張定理に、いろいろ別証明が考えられたごとく
IUT 3.12にも、別証明がある可能性もあるし
IUT 3.12 を経由しない、IUT IVへの別ルートが見つかるかもしれないし

さらには、いまのLean化で見つかった 3.12へ至るルートでの
ミッシングリングが見つかるかも知れない

そういうことですね
請うご期待ですね