Pronormal implies MWNSCDIN

Statement
Any pronormal subgroup of a group is a MWNSCDIN-subgroup.

Proof
The proof is an adaptation of the proof of pronormal implies WNSCDIN. Instead of using the normalizer of just the one image set, we use the intersection of the normalizers of all the image sets. The rest of the proof is identical.