Normalizer of weakly pronormal implies weakly abnormal

From Groupprops

Statement

The Normalizer (?) of a Weakly pronormal subgroup (?) is a Weakly abnormal subgroup (?).

Definitions used

Weakly pronormal subgroup

Weaky abnormal subgroup

Related facts

Proof