For å gjøre det, Nash, på en innsats, avhendet et dypt problem som hadde forvirret yrket siden den 19. Han viste at enhver Riemannian mangfold som besitter en spesiell slags jevnhet kan være innebygd i euklidske rom.
Nashs avhending var ikke en stor sak fordi det egentlig ikke hadde vært et problem å begynne med. 