Hilbert Space Separable iff Countable Dimension

Theorem
Let $H$ be a Hilbert space.

Then $H$ is a separable space iff it has countable dimension.