Identity of Group Direct Product/Proof 1

Proof
So the identity is $\left({e_G, e_H}\right)$.