Hilbert Space Separable iff Countable Dimension

Theorem
Let $H$ be a Hilbert space.

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