>>899
わざとらしくボケながら、この証明が正しいということを示す策略ですか？
または日本語訳が必要なのでしょうか？

素数がないとすると、(a,b,c)は整数解にならなければならなく、それは複数ある。
実際には、(a,b,c)は初めの式から一意に値は定まる。
仮定が正しいとすると、それは一致しなければならない。
どれか一つのnでも一致しなければ矛盾になるから、全てのnに対して整数解(a,b,c)を持つ。
しかし、反例が見つかるから仮定は誤りになる。