Seol mar théacs é seo: A theory of quantum subspace diagonalization