Định lý phát biểu rằng không tồn tại bộ ba số nguyên dương thỏa mãn phương trình:
đã viết bên lề cuốn sách Arithmetica của Diophantus rằng ông đã tìm ra một "chứng minh thực sự tuyệt vời" cho định lý này, nhưng lề sách quá hẹp để viết ra. Suốt nhiều thế kỷ sau đó, các nhà toán học chỉ chứng minh được cho các trường hợp riêng lẻ: dinh ly lon fermat chung minh