费马大定理：n>2是整数，则方程x^n+y^n=z^n没有满足xyz≠0的整数解。这个是不定方程，它已经由美国数学家证明了(1995年)，证明的过程是相当艰深的！

费马小定理：a^p-a≡0(mod p)，其中p是一个素数，a是正整数，它的证明比较简单。事实上它是Euler定理的一个特殊情况，Euler定理是说：a^φ(n)-1≡0(mod n),a，n都是正整数，φ(n)是Euler函数，表示和n互素的小于n的正整数的个数（它的表达式欧拉已经得出，可以在“Euler公式"这个词条里找到）。