p가 소수이고 p와 m이 서로소일 때 음이 아닌 정수 a에 대해서 order가 pam인 group이 있으면 order가 pa인 subgroup이 pk+1개 있고 m은 pk+1로 나누어떨어진다. ...