Compact Hermitian Operator has Countable Point Spectrum

Theorem
Let $H$ be a Hilbert space.

Let $T \in B_0 \left({H}\right)$ be a compact, self-adjoint operator.

Then its point spectrum $\sigma_p \left({T}\right)$ is countable.