First_Sylow_Theorem

Let $p$ be a prime number. Let $G$ be a group such that $\order G = k p^n$ where $\order G$ denotes the order of $G$ $p$ is not a divisor of $k$. Then $G$ has at least one Sylow $p$-subgroup.