Definition: Let $H$ and $K$ be subgroups of a group $G$, and let $g$ be an element of $G$. The set $HgK = \{x\in G \mid x = hgk, h\in H, k\in K\}$ is called a double coset.
Theorem: Double cosets partition $G$.
Question: Let $H$ be a subgroup of a group $G$. Show that the double cosets $HgH = \{ h_1 g h_2\mid h_1, h_2 \in H\}$ are the left cosets $gH$ iff $H$ is normal.
Attempt:For the direction from the left to the right, it is easy to prove as $h_1gh_2$ = $gh_3$, for some $h_1,h_2,h_3 \in H$, $g\in G$, then $h_1=gh3h_2^{-1}g^{-1}$, so $H$ is normal. But for the converse direction, I'm stuck then. I know I have to prove that $HgH \subset gH$ and $gH \subset HgH$ so $HgH = gH$, with the fact that $H$ is normal, but I don't know how can I get started.