Didžioji Ferma teorema
Paskutinė arba Didžioji Ferma teorema, kurią Pjero Ferma suformulavo 1637 m., skelbia, kad lygtis: x n + y n = z n {\displaystyle x^{n}+y^{n}=z^{n}} neturi sprendinių teigiamų sveikųjų skaičių aibėje kai n > 2. Nėra tiksliai žinoma, ar pats Ferma turėjo šios teoremos įrodymą. Atvejį, kai n=3, įrodė Leonardas Oileris, kai n=4 – pats Ferma, n=5 – Ležandras, n=7 – Lamė, n=14 – Leženas-Dirichlė. Teoremą bendruoju atveju, visiems n 1994 m. įrodė amerikietis Endriu Vailesas ir britas Richardas Lorencas Teiloras.