理论神器，在数论中、尤其是针对无限的素数问题进行研究时，更是往往能发挥奇效。

比如，任何基础数论的老师，在第一或者第二堂课上都会提到的一个很经典的范例——费马小定理。

这条定理有很多中证明方法，其中公认最简洁证明方法，便是用群论证明的。

至于有多简洁，标准字体甚至只需要三行就能做到。

即，若α和p互素，由ulr定理有α^φ（p）≡1（dp），但φ（p）=p-