フェルマーの予想が解けたという事とか