theorem :: GROUP_22:73

for G being Group
for N being normal Subgroup of G holds Centralizer N is normal Subgroup of G