费马定理是一条著名的数学定理，它的原始形式是：对于大于2的正整数n，不存在任何正整数a、b、c满足a^n+b^n=c^n。这个定理最初由法国数学家皮埃尔·德·费马在17世纪提出，但他没有给出证明。数学家们长期以来一直在试图证明这个定理，直到1995年，英国数学家安德鲁·怀尔斯终于成功地证明了这个定理。

怀尔斯的证明过程非常复杂，需要运用大量的高等数学知识，但可以简单地概括为以下几个步骤：

1. 首先，怀尔斯证明了费马定理对于奇素数n成立。他运用了模数为p的数论知识，证明了如果费马定理对于某个奇素数n成立，那么它对于所有的n都成立。

2. 接下来，怀尔斯证明了费马定理对于n=4k成立。他运用了广义黎曼猜想和椭圆曲线的理论，证明了如果费马定理对于某个4k成立，那么它对于所有的n都成立。

3. 最后，怀尔斯证明了费马定理对于n=2是成立的。这是比较简单的一步，因为在这种情况下，费马定理等价于勾股定理，可以用初等数学方法证明。

综合这三个步骤，我们可以得出费马定理对于所有大于2的正整数n都成立的结论。

怀尔斯的证明过程非常复杂，需要用到大量的高等数学知识，例如代数几何、模形式、调和分析、李群等等。但无论如何，他的成果仍然是数学史上的一个巨大里程碑，也证明了人类智慧的无穷力量。