I 1637 skrev den franske matematikeren Pierre de Fermat i margen på sin kopi av Diophantus at han hadde funnet «et virkelig bemerkelsesverdig bevis» for denne satsen, men at margen ikke var stor nok til å skrive det ned. (Original: ) Ikke før 358 år senere, i 1995 ble et bevis for teoremet publisert.