assume ([a,b,c,n], integers);   
   assume (n>2),   
      
   solve (a^n+b^n=c^n,  [a,b,c,n]);   
      
   Program can answer it don't know solution with 1