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