ラグランジュの定理 (群論)
G が有限群の場合は、指数 [G : H](G における H の左剰余類の個数)が正の整数になるので、ラグランジュの定理から系が従う。