). Ongetwijfeld hebben de meesten dan ook wel eens gehoord van de complexiteit van het bewijs.Men zou zich nu de vraag kunnen stellen of LSF (ttz het analogon ervan) waar blijft over andere ringen (of velden). Uiteraard kan men niet zomaar eender welke ring nemen, want bijvoorbeeld [cc] overlaadt je met tegenvoorbeelden. Naast [zz] is een van de meest bekende ringen dan misschien wel k[X], de ring van polynomen over een veld k (met k meestal dan [rr] of [cc] ). Neem nu k = [rr] of [cc] . Dus de vraag is: bestaan er (niet-triviale) oplossingen van
a(x)n+ b(x)n = c(x)n
met a(x), b(x) en c(x) copriem en n>2. Het antwoord blijkt nee te zijn en is bewezen hier. Dit bewijs vind ik bijna schokkend door zijn eenvoud. Zeker in vergelijking met de moeilijkheid van LSF. Nu is mijn vraag: wat maakt dit geval zo eenvoudig in vergelijking met de beroemde LSF? Mogelijk mis ik iets vrij triviaals hierin...
