>>742
ワイルズ基準で考えたらそうなるか