Original: Pierre de Fermat makes a notation , in a document margin , claiming to have proof of what would become known as Fermat 's last theorem .
Simplified: Pierre de Fermat makes a marginal claim to have proof of what would become known as Fermats last theorem .