Lecture Notes on Bayesian Estimation and Classification
《Lecture Notes on Bayesian Estimation and Classification》 · 第 40 页 · Section 1.6「Permutation Groups and Group Actions」，Theorem 1.6.17
1.6.17 (Cauchy’s Theorem). If a prime $p$ divides the order of a finite group, the group contains an element of order $p$.