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