Closure of Range of Compact Linear Transformation is Separable

Theorem

Let $H, K$ be Hilbert spaces.

Let $T \in B_0 \left({H, K}\right)$ be a compact linear transformation.

Then $\operatorname{cl} \left({\operatorname{ran} T}\right)$ is separable.