theorem Th35: :: GROUP_22:33

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