Abstract:This work contains two papers: the first published in 2022 and entitled "On the nature of some Euler's double equations equivalent to Fermat's last theorem" provides a marvellous proof through the so-called discordant forms of appropriate Euler's double equations, which could have entered in a not very narrow margin and the second instead published in 2024 and entitled "Some Diophantus-Fermat double equations equivalent to Frey's elliptic curve" provides the possible proof, which Fermat has not published in detail, but which uses the characteristic of all right-angled triangles with sides equal to whole numbers, or the famous Pythagorean identity. Some explanations in session(III) are provided: the first makes evident the nature of the "proof a' la Fermat" and the subsequent sessions clarify the direct and interesting connection of the two elementary proofs and it is necessary if you want to understand how two different elementary proofs of Fermat's Last Theorem are possible. It must be observed that those proofs must in no way be interpreted as a sort of absurd revenge of elementary number theory over more modern analytic and algebraic treatments.The author himself has added a section in which he connects his concepts with some of those used by Wiles in his complex demonstration.This implies that, to a certain extent, Wiles' demonstration inspired the author of those works. Ultimately in this paper we will illustrate how only thanks to some of Euler's discoveries was it possible to shed light on the so-called too narrow margin never written by Fermat. For this reason we will also provide some details on an article that was the real inspiration for achieving these results (see Last Conclusions).

The main theorem of the Galois theory proven with ideas from the first Mémoire of Galois

The Chevalley-Herbrand formula and the real abelian Main Conjecture

Symmetric products of Galois-Maximal varieties

The Cartesian method and Fermat's Last Theorem

Sur le théorème de Fermat sur ${\bf Q}(\sqrt{5})$

A proof of the Quadratic Reciprocity Law

A note on "The Cartan-Hadamard conjecture and the Little Prince"

Galois Got his Gun

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

General Elementary Direct Proof of Fermat's Last Theorem

A Note on the Main Conjecture over Q

The symmetric Poincaré-Birkhoff-Witt theorem and Dynkin-Magnus commutators

A short elementary proof of the insolvability of the equation of degree 5

The lost proof of Fermat's last theorem

Fermat's Last Theorem for regular primes

An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

One curious proof of Fermat's little theorem

A Geometric Proof of Fermat’s Little Theorem

Théorème de de Smit et Lenstra, démonstration élémentaire

Exceptional case of the non semi-simple Real Abelian Main Conjecture

On matrix analogs of Fermat’s little theorem