考虑所有保持不变的自映射构成的群（你应该理解我的意思）
假设顶点集为v[1],v[2],……,v[p]
下面我们证明：对所有1≤i≤p，把v[1]映到v[i]的元素（记为S[i]）数目相同
只要证S[i]=S[1]
任取S[i]中元素t，考虑映射x -> x*t^(-1)，显然这是一个双射（逆映射为 x ->t*x）
于是这个群元素数是p的倍数，由sylow定理，这个群里有一个次数为p的元素，也就是一个旋转置换……
假设顶点集为v[1],v[2],……,v[p]
下面我们证明：对所有1≤i≤p，把v[1]映到v[i]的元素（记为S[i]）数目相同
只要证S[i]=S[1]
任取S[i]中元素t，考虑映射x -> x*t^(-1)，显然这是一个双射（逆映射为 x ->t*x）
于是这个群元素数是p的倍数，由sylow定理，这个群里有一个次数为p的元素，也就是一个旋转置换……
