theorem :: GROUP_5:78

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