Exercise 14, § 2

Let $G$ be a semi-topological group and let $H$ be a normal subgroup of $G$. Show that the semi-topological group $G/\overline{H}$ is isomorphic to the Hausdorff group associated with $G/H$.