系：有限群GとGの位数を割り切る素数pが与えられると、Gには位数pの元（したがって位数pの部分群）が存在する。
其叙述著若G是一个有限群且p是一个可整除G之阶（G的元素数目）的质数，则G会有一个p阶的元素。