Sylow of normal implies pronormal

Statement
Any Sylow subgroup of a normal subgroup of a group is pronormal.

Facts used

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

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