Subgroup is Closed iff Quotient is Hausdorff

Theorem
Let $G$ be a topological group.

Let $H\leq G$ be a subgroup.

Let $G/H$ be their quotient.

Then the following are equivalent:
 * $H$ is closed in $G$
 * $G/H$ is Hausdorff