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