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