G가 유한군이고 H≤G이면 ∣G∣=[G:H]∣H∣. 특히, ∣H∣는 ∣G∣를 나눈다. Corollaries 임의의 원소의 위수는 군의 위수를 나눈다 소수 위수를 갖는 모든 군은 순환군이다