Cauchy’s theorem

Let $G$ be a finite group and let $p$ be a prime dividing $|G|$. Then there is an element of $G$ of order $p$.