finished the finite-dimensional spectral theorem