Identity of Group Direct Product/Proof 1

Proof
So the identity is $\tuple {e_G, e_H}$.