Compact Linear Transformation is Bounded

Theorem

Let $H, K$ be Hilbert spaces.

Let $T \in \map {B_0} {H, K}$ be a compact linear transformation.

Then $T$ is also a bounded linear transformation.

That is:

$\map {B_0} {H, K} \subseteq \map B {H, K}$