albo OSTATNIE
dotyczy liczb Pitagorejskich (3, 4, 5), (6, 8, 10), (9, 12, 15) i jest uogólnieniem twierdzenia Pitagorasa x 2 + y 2 = z 2, a brzmi następująco: jeżeli n jest liczbą naturalną większą od dwóch, to równanie x n + y n = z n nie ma rozwiązań takich, że x, y, z byłyby liczbami naturalnymi. Fermat na marginesie pewnej książki napisał, że zna piękny dowód tego twierdzenia, ale niestety jest on zbyt długi i nie zmieści się - toteż go nie podaje. Okazało się jednak, że dowód tego twierdzenia nie jest prosty. Wielu matematyków próbowało zmierzyć się z w.t.F bez efektów. Ogłaszane rozwiązania były nieprawdziwe - zawsze znajdowano błędy w rozumowaniu. Właściwy dowód podał dopiero 1993 A. Wiles.