c/m mệnh đề sau:
với mọi số tự nhiên n ta luôn có a^n+b^n(a,b nguyên) có 1 ước ntố dạng nguyên thủy
p/s:ước ngtố dạng nthủy nghĩa là trong dãy 1,2..a_n trong đó p là ước ntố cuả a_n nhưng ko phải là ước của bất kì số nào trong các số ngoại trừ số 1 của 1,2....,a_n-1
Áp dụng c/m định lí Fermat lớn với n=3 tức c/m:
a^3+b^3=c^3 vô nghiệm nguyên