Associativity of Operation in Group Direct Product/Proof 1

Proof
Thus $\circ$ is seen to be associative in $\left({G \times H, \circ}\right)$.