Inverses in Group Direct Product/Proof 2

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