Associativity of Operation in Group Direct Product/Proof 2

Proof
By definition of group, both $\circ_1$ and $\circ_2$ are associative operations.

The result follows from External Direct Product Associativity, where the algebraic structures in question are groups.