Spectral Theorem for Normal Operators