Oczywiście, że to jest równanie niemające rozwiązań przy n>2 (dla n'e'{1;2} istnieje nieskończenie wiele rozwiązań). Możliwe, że Hetaczowi chodziło o to, żeby dowieść sprzeczności dla n>2

W końcu przy takim założeniu lewa strona jest zawsze różna od prawej
A co do dowodu. Osobiście nigdy go nie widziałem ;/ Wygooglaj sobie, może coś znajdziesz

Może Ci się to przyda - pierwszy, poprawny dowód przedstawił Anglik - Andrew Wiles (dostał za to, o ile się nie mylę 1000000$...

), o ile mnie pamięć nie myli w 1994 roku

.
Pozdrawiam,
--
Tomasz Rużycki