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

Proof
This follows from:
 * Spectrum of Self-Adjoint Densely-Defined Linear Operator is Real and Closed
 * Spectrum of Bounded Linear Operator equal to Spectrum as Densely-Defined Linear Operator