Mệnh đề đó, ngày nay được gọi là , phát biểu rất đơn giản:
Dinh ly lon Fermat co anh huong lon lao trong nhieu linh vuc cua toan hoc. Mot trong nhung anh huong quan trong nhat la trong ly thuyet so hoc. Dinh ly nay da giup nha toan hoc hieu ro hon ve cau truc cua so nguyen va thuat toan. dinh ly lon fermat chung minh
Chung minh cua Wiles gom nhieu buoc quan trong. Anh ta bat dau bang cach xay dung mot mo hinh moi cho phuong trinh a^n + b^n = c^n, sau do anh ta su dung ky thuat "modular forms" de bien doi phuong trinh nay thanh mot dang khac. Cuoi cung, anh ta da chung minh duoc rang phuong trinh a^n + b^n = c^n khong co nghiem nguyen. Mệnh đề đó, ngày nay được gọi là
Mà Taniyama-Shimura (nếu đúng) thì nói: Mọi đường cong elliptic đều modular. Chung minh cua Wiles gom nhieu buoc quan trong