Cauchy's Group Theorem

Theorem
Let $G$ be a finite group whose identity is $e$.

Let $p$ be a prime number which divides order of $G$.

Then $G$ has a subgroup of order $p$.