设h为一整数，n为一正整数，（h，n）=1，适合h^l=1（mod n）的最小正整数l叫做h对n的次数。如果l=φ（n）（φ（n）是欧拉函数，表示与n互素且不超过n的正整数的个数），则此时h被称为模n的原根。1773年，欧拉证明了素数P有原根。1785年，勒让德证明：设l |（p-1），恰有φ(l)个模p互不同余的数对模p的次数为l。

大家可以去搜索一下“二次剩余”..