谁能帮我证明，如果残$r_0 = b-Au_0$可以写成的线性组合$k$的特征向量$A$, 那么 CG 方法将收敛到一个解$x^{*}= A^{-1}b$最多k步。和$N=I_n$和$A$是对称且正定的。