페르마의 마지막 정리가 자연수 m, k와 정수 n_m에 대해서
((n_1)^k)+((n_2)^k)=((n_3)^k)를 만족하는 n_3을 k가 2 이하일 때의 존재성에 대해서 기술한거라면

((n_1)^k)+((n_2)^k)+...+((n_m)^k)=((n_(m+1))^k을 만족하는 n_(m+1)은 k가 m 이하일 때만 존재한다는것도 밝혀짐?