Inverses in Group Direct Product/Proof 2

Theorem
Let $\left({G \times H, \circ}\right)$ be the group direct product of the two groups $\left({G, \circ_1}\right)$ and $\left({H, \circ_2}\right)$.

If: and:
 * $g^{-1}$ is an inverse of $g \in \left({G, \circ_1}\right)$
 * $h^{-1}$ is an inverse of $h \in \left({H, \circ_2}\right)$

then $\left({g^{-1}, h^{-1}}\right)$ is the inverse of $\left({g, h}\right) \in \left({G \times H, \circ}\right)$.

Proof
A specific instance of External Direct Product Inverses, where the algebraic structures in question are groups.