Normal subgroups of biprimary groups

It is shown that, except for three cases, a soluble group of order $p^\alpha m$, $p^\alpha>m$, always contains a nontrivial normal $p$-subgroup. Examples are constructed to show that in the excluded cases, nontrivial normal $p$-subgroups may not exist.