A bizonyítás lényege az, hogy a hatványösszeg algoritmusssal bizonyítható, hogy minden a=2np+1 alakú prim
(- p hatványkitevõ
- n természetes szám)
amelyekbõl bizonyíthatóan végtelen sok van, valamelyik változó osztója kell, hogy legyen.
Ezáltal a változók a már említett irracionális egészekké fajulnak.
Ilyen egyszerû a bizonyítási formula.
Ezért irta Fermat "nem fér a margóra"
Feljegyzését már az elsõ kiadásnál a szerkesztõ, vagy a szedõ "kijavította", beirva a vesszõt a Fermattól végtelenített mondat után.
Késõbb jól képzett matematikusok elõbb a latinról- latinra, majd a világ összes nyelvére össze- vissza fordították.
Hogy végül belecsapva a lecsóba, egészen mást oldjanak meg, az ámuldozó fórumnickek örömére.