theorem :: GROUP_22:37

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