>>921
フェルマー・ワイルズの定理より自明。