Template:Normal-to-characteristic

Thus, this subgroup property is normal-to-characteristic