Frattini argument

If $H$ is a finite normal subgroup of a group $G$, and $S$ is a Sylow subgroup of $H$, then$G=H{N}_G(S)$, where $N_G(S)$ is the normalizer of $S$ in $G$.