Finite-Dimensional Spectral Decomposition