"p"是一个可整除"G"之阶（"G"的元素数目）的质数，则"G"会有一个"p"阶的元素。亦即，存在一个于"G"内的"x"，使得"p"为让"x"="e"的最小非零整数，其中"e"为单位元素。此一定理为拉格朗日定理的部份相反，其叙述着有限群"G"的每一个子群之阶都会整除"G"的阶。柯西定理表示对于每一个"G"之阶的质因数"p"，总存在一个"G"内"p"阶之子群－由柯西定理内之元素产生的循环群。
证明.我们对"n" = |"G"|使用数学归纳法。考虑"G"是阿贝尔群，以及"G"不是阿