"x"="e"的最小非零整数，其中"e"为单位元素。此一定理为拉格朗日定理的部份相反，其叙述着有限群"G"的每一个子群之阶都会整除"G"的阶。柯西定理表示对于每一个"G"之阶的质因数"p"，总存在一个"G"内"p"阶之子群－由柯西定理内之元素产生的循环群。
证明.我们对"n" = |"G"|使用数学归纳法。考虑"G"是阿贝尔群，以及"G"不是阿贝尔群的两个情况。假设"G"是阿贝尔群。如果"G"是单群，那么它一定是素数阶循环群，因此显然含有"p"阶的元素。否则存在一个非平凡的正规