Pronormal implies weakly normal

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

Facts used

 * 1) uses::Pronormal implies paranormal
 * 2) uses::Paranormal implies weakly normal

Proof from given facts
The proof follows directly from facts (1) and (2).