Internal_Group_Direct_Product_Commutativity

Let $\struct {G, \circ}$ be a group whose identity is $e$. Let $H_1, H_2 \le G$. Let $\struct {G, \circ}$ be the internal group direct product of $H_1$ and $H_2$. Then $\forall h_1 \in H_1, h_2 \in H_2: h_1 \circ h_2 = h_2 \circ h_1$