Normalizer of weakly pronormal implies weakly abnormal

Statement
The fact about::normalizer of a fact about::weakly pronormal subgroup is a fact about::weakly abnormal subgroup.

Related facts

 * Normalizer of pronormal implies abnormal