theorem :: GROUP_22:36

for G being Group
for N being strict normal Subgroup of G
for K being characteristic Subgroup of N holds K is normal Subgroup of G