Spectral Theorem for Compact Self-Adjoint Operators