Center is marginal of finite type

Statement
The center of a group is a marginal subgroup of finite type, and hence a proves property satisfaction of::marginal subgroup. More specifically, it is the marginal subgroup corresponding to the commutator word $$w(x_1,x_2) = x_1x_2x_1^{-1}x_2^{-1}$$.