Anfonwch hwn fel neges destun: A theory of quantum subspace diagonalization