任意の自然数k,mについて
a^n+b^n=c^(km+1)
が成立するような(a,b,c)の組は無限個存在することを示せ.