– Adj nekem egy feladatot, amit nem tudok elvégezni, és bármit megadok neked, a világon bármit kérhetsz – szólt az ördög Daniel Websterhez1.
– Rendben. Bizonyítsd be, hogy ha n nagyobb mint 2, akkor az an + bn = cn egyenletnek nincs az egész számok között nem-triviális megoldása.2
Háromnapos határidőben állapodtak meg a feladatra, és az ördög eltűnt. A harmadik nap végén újra megjelent, elcsigázottan, idegesen, ajkát harapdálva.
– Nos, hogy sikerült a feladatmegoldás? Sikerült bizonyítani a tételt?
– Hogy mi? Nem… nem, nem sikerült bizonyítanom.
– Akkor bármit kérhetek? Pénzt? Az elnökséget?
– Hogy mi? Ó, persze. De figyelj! Ha be tudnánk bizonyítani a következő két lemmát3…
