我在RSA学习总结的第三部分关于Mille-Rabin素数测试的正确性证明里需要用到此定理，由于证明太长，故另开一章于此。（为啥我说话突然文绉绉了Orz，可能是这周辩论打多了）
首先证明对任意素数p，modulo p的Primitive Root存在。
以下是证明思路（符号的意思在第二张图，完整证明里有）
知道了modulo p^2下Primitive root存在后可以推广至p^n
关于原根的存在性（Primitive Root Theorem）
原文：http://www.cnblogs.com/zhixingr/p/6822370.html