theorem :: GROUP_22:39

for G being Group holds center G is characteristic Subgroup of G