Compact Self-Adjoint 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.