Is anything named after Pierre de Fermat?

Yes, the famous Fermat's Last Theorem, a conjecture by Fermat, that an equation of the form an + bn = cn has no integer solution, for n > 2. This was conjectured by Fermat in 1637, but it was only proved in 1995.

Yes, the famous Fermat's Last Theorem, a conjecture by Fermat, that an equation of the form an + bn = cn has no integer solution, for n > 2. This was conjectured by Fermat in 1637, but it was only proved in 1995.

Yes, the famous Fermat's Last Theorem, a conjecture by Fermat, that an equation of the form an + bn = cn has no integer solution, for n > 2. This was conjectured by Fermat in 1637, but it was only proved in 1995.

Yes, the famous Fermat's Last Theorem, a conjecture by Fermat, that an equation of the form an + bn = cn has no integer solution, for n > 2. This was conjectured by Fermat in 1637, but it was only proved in 1995.

Yes, the famous Fermat's Last Theorem, a conjecture by Fermat, that an equation of the form an + bn = cn has no integer solution, for n > 2. This was conjectured by Fermat in 1637, but it was only proved in 1995.