Associativity of Operation in Group Direct Product/Proof 1

Proof
Thus $\circ$ is seen to be associative in $\struct {G \times H, \circ}$.