任意の自然数nに対して次の方程式
x^n+y^n=2を満たす時、x,yの組(x,y)は(1,1)しか無い事を示せ。
自明に見えてなかなか証明が難しい問題。