theorem :: GROUP_5:79

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