991 :132人目の素数さん:2015/08/28(金) 23:39:59.63 ID:15wQibRV
でもフェルマー=弱ABCならワイルズさんの理論で説明できるってこったよね。
逆も真なりでIUTとワイルズさんは整合してるの。