Ascending chain condition on subnormal subgroups is normal subgroup-closed

From Groupprops