有限群"G"的每一个子群之阶都会整除"G"的阶。柯西定理表示对于每一个"G"之阶的质因数"p"，总存在一个"G"内"p"阶之子群－由柯西定理内之元素产生的循环群。
证明.我们对"n" = |"G"|使用数学归纳法。考虑"G"是阿贝尔群，以及"G"不是阿贝尔群的两个情况。假设"G"是阿贝尔群。如果"G"是单群，那么它一定是素数阶循环群，因此显然含有"p"阶的元素。否则存在一个非平凡的正规子群formula_1。如果"p"能整除|"H"|，那么根据归纳假设，"H"含有一个"p"阶的元素