論点ずれてない?

問題は、NEW !! (2020-03-22)で提示された
Corollary 3.12 の Proof が
証明として、成り立っているかどうかだ?

で、星、南出、Ivan Fesenko 、
加藤文元、田口雄一郎、安田正大、玉川安騎男、松本眞、山下剛
Taylor Dupuy、AntonHilado、Kirti Joshi たちは
多分、証明として、成り立っていると思っているんじゃないのかな?