Let $G$ be a finite group, and $S$ a Sylow subgroup such that $C_G(S)=N_G(S)$ . Then $S$ has a normal complement. That is, there exists a normal subgroup such that $S\cap N=\{1\}$ and $SN=G$ .