Let TTT be a self-adjoint operator on a finite-dimensional inner product space VVV with distinct eigenvalues λ1,λ2,…,λk\lambda_1,\lambda_2,\ldots,\lambda_kλ1,λ2,…,λk. Let EiE_iEi be the eigenspace of TTT corresponding to λi\lambda_iλi, and let TiT_iTi be the orthogonal projection of VVV on EiE_iEi, 1≤i≤k1 \le i \le k1≤i≤k.