Conjugate-gradient residual orthogonality

At iteration $m$ of the conjugate gradient method,and $r_m$ itself lies in ${\mathcal{K}}_{m+1}(A,r_0)$. These Galerkin conditions imply finite termination once the Krylov subspace becomes invariant under $A$.