群的阶能被子群的阶整除,所以,考虑任何元素生成的循环群,个数要么是1,要么等于该素数,所以.