Publications of the Research Institute for Mathematical Sciences
Volume 57, Issue 1/2, 2021, Special Issue
https://www.ems-ph.org/journals/show_issue.php?issn=0034-5318&;vol=57&iss=1

もう証明されたんだから、「ABC定理」と呼ぶべきだね。