Spectral Theorem for Self-Adjoint Operators