Compact Hermitian Operator has Countable Point Spectrum

Theorem
Let $\HH$ be a Hilbert space.

Let $T \in \map {B_0} \HH$ be a compact Hermitian operator.

Then its point spectrum $\map {\sigma_p} T$ is countable.