Center of Group is Subgroup

Theorem
Let $G$ be a group.

The center $\map Z G$ of $G$ is a subgroup of $G$.