Spectrum of Self-Adjoint Bounded Linear Operator is Real and Closed

Theorem
Let $\struct {\HH, \innerprod \cdot \cdot}$ be a Hilbert space over $\C$.

Let $T : \HH \to \HH$ be a bounded self-adjoint operator.

Let $\map \sigma T$ be the spectrum of $T$.

Then:
 * $\map \sigma T \subseteq \R$