Subgroup is Closed iff Quotient is Hausdorff

Theorem
Let $G$ be a topological group.

Let $H \le G$ be a subgroup.

Let $G / H$ be their quotient.

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