Weakly normal subgroup of symmetric group must move more than half the elements
Then, the cardinality of should be strictly greater than the cardinality of .
Note that since any Pronormal subgroup (?) and any Paranormal subgroup (?) is weakly normal, we get corresponding results for pronormal and paranormal subgroups. In fact, the proof also shows that the corresponding statement holds for Polynormal subgroup (?)s.