Characteristic inside normal is normal in the ambient group.Suggest a slogan
Let \(G\) be a group, \(H \normal G\) a normal subgroup, and \(N \ch H\) a characteristic subgroup of \(H\). Then \(N \normal G\).
Characteristic subgroups of normal subgroups are normal
PR-IOMVN