Сағыштырыу теорияһы барлыҡҡа килеүенең тәүшарты булып Диофанттың яҙмаларын тергеҙеү тора. Улар  Баша де Мезириак арҡаһында 1621 йылда төп нөсхәһендә һәм латин теленә тәржемәләнеп баҫылып сыға. Уларҙы өйрәнеү Ферма́ны әһәмиәте буйынса ул осорҙо күпкә уҙып киткән асыштарға килтерә. Мәҫәлән,  Френикль де Бессиға  1640 йылдың 18 октябрендә яҙған хатында ул, аҙаҡ Ферманың бәләкәй теоремаһы исемен алған теоремаһын, иҫбатлауһыҙ әйтеп бирә.    Хәҙерге формулировкала теорема: Әгәр  — ябай һан һәм  —  -ға бүленмәгән бөтөн һан булһа, ул саҡта:  тип раҫлай .