Cauchys_Lemma_Group_Theory

Let $\struct {G, \circ}$ be a group of finite order whose identity is $e$. Let $p$ be a prime number which divides the order of $G$. Then $\struct {G, \circ}$ has an element of order $p$.