For 379 år siden nedskrev en fransk dommer og amatørmatematiker en lille formel i marginen af en af de store græske matematikeres værker: Denne formel har ingen løsning, skrev Pierre de Fermat, som han hed.

Siden har matematikere verden over været optaget af at føre bevis for Fermats sætning, og det tog alverdens hjerner over 300 år, før en matematiker for en snes år siden efter syv år, med brug af moderne matematik og en bevisførelse på over 200 sider, endelig fik knækket gåden: Fermat havde ret. Formelen findes så at sige ikke i virkeligheden.