フェルマーのときは最終的に確定するまで
数学セミナーなどで相当盛り上がったが
ABCはそうでもないな