>>543
519で書いたとおりであり再度繰り返すとすると、x^n+y^n=z^nを満たす正の整数解が存在し
x,y,zが共通の約数a(当然2以上)を持つのであれば、両辺をa^nで割ることにより、x,y,zが互いに
素である解が存在することになる。ここで535で書いたことにより、2変数だけが公約数を持つ
ということはない。そうであるから、解が存在しないということを証明する場合には、3変数が
互いに素であるという前提を置いても問題がない。ここに書いたことは全て自明のことであり
後出しだと言うのは無理である程数学的に簡単なことだ。