Sylow normalizer implies abnormal

Statement
The normalizer of any Sylow subgroup in a finite group is an abnormal subgroup.

Facts used

 * 1) Sylow implies pronormal
 * 2) Normalizer of pronormal implies abnormal

Proof
The proof follows directly by combining facts (1) and (2).