Periodic normal implies potentially characteristic

From Groupprops