Sylow subgroup (awaiting review)

If $p$ is a prime and $G$ is a finite group of order $p^nm$ where $p\nmid m$, then the $p$-Sylow subgroup of $G$ is a subgroup of order $p^n$.

Sylow subgroups exist for every finite group and prime $p$.