Ei ole olemassa positiivisia kokonaislukuja a, b sekä c jotka toteuttavat väittämän a^n+b^n=c^n jos n= >2 kuuluu ranskalaisen lakimiehen sekä matemaatikon Pierre Fermat'n suurena lauseena pidetty väittämä, jota kukaan matemaatikko maailmassa ei ole koskaan pystynyt todistamaan. Väitetään että Fermat itse kuitenkin oli tuon todistuksen kirjoittanut erään hallussaan olleen kirjan marginaaliin, mutta Fermat'n oma kappale tuosta opuksesta sitten oli kadonnut. Syy miksi tuo väittämä on kiehtonut matemaatikoita lähes koko historian ajan siinä määrin, että David Hilbert määritteli sen yhdeksi millenium-ongelmista johtuu siitä että Fermat teki tuon ratkaisun ilman tietokoneita sekä tarvittavia matemaattisia menetelmiä, ja tuo miten kyseinen ranskalainen matemaatikko sitten päätyi tuohon ilmeisesti aikalaistensa hyväksymään ratkaisuun kiehtoi myös Hilbertiä, jonka millennium-ongelmiin löydettävä ratkaisu tuo matemaatikolle miljoona dollaria. Ja kuten tiedämme niin esimerkiksi Gr