Abnormal normalizer not implies pronormal

Statement
A subgroup whose normalizer is an abnormal subgroup need not be pronormal.

Facts used

 * 1) Abnormal normalizer and 2-subnormal not implies normal
 * 2) Pronormal and subnormal implies normal

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