1、首先关于数论中完系和缩系的有关知识，请查阅经验引用。
下面简要介绍：囊斤
图中Select哪一行代码计算了模m的缩系，而戴言八欧拉函数就是模m的缩系中的元素个数。
2、运行如图代码，分别计算当m从1到10，欧拉函数的数值，以及模m缩系。
3、关于缩系，还有一个有趣的性质：
将缩系中每个元素乘以a，a与m互素的数，那么乘完之后的集合，仍然是模m的缩系。这一性质使用代码演示如图。
4、接下来我们推导欧拉定理，从上到下，一步步得出最终结果：
a^EulerPhi[m] ≡ 1（mod m）
5、当m为素数p时，欧拉函哄互数的值就是p-1，如图公式成立。
