theorem :: GROUP_22:60

for G being Group
for K being strict characteristic Subgroup of G holds Centralizer K is characteristic Subgroup of G