Direct Product of Central Subgroup with Inverse Isomorphism is Central Subgroup

Theorem
Let $G$ and $H$ be groups.

Let $Z \left({G}\right)$ be the center of $G$.

Let $Z \le Z \left({G}\right), W \le Z \left({H}\right)$ such that $Z \cong W$.

Let such a group isomorphism be $\theta: Z \to W$.

Let $X$ be the set defined as:
 * $X = \left\{{\left({x, \theta^{-1} \left({x}\right)}\right): x \in Z}\right\}$

Then $X$ is a central subgroup of $G \times H$.

Proof
The fact that the set $X = \left\{{\left({x, \theta^{-1} \left({x}\right)}\right): x \in Z}\right\}$ is a subgroup of $G \times H$ follows from elementary properties of homomorphisms.

The fact that $X$ is a central subgroup of $G \times H$ follows from the definition of a central subgroup.