Sylow implies pronormal

Statement
Any Sylow subgroup of a finite group is pronormal.

Stronger facts

 * Sylow of normal implies pronormal

Corollaries

 * Sylow normalizer implies abnormal
 * Sylow normalizer implies upward-closed self-normalizing
 * Sylow implies intermediately subnormal-to-normal

Facts used

 * 1) Sylow implies intermediately isomorph-conjugate
 * 2) Intermediately isomorph-conjugate implies pronormal

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