Let be a matrix, nonzero vector and We define the Krylov subspace as: Lemma Let have distinct eigenvalues. Then for any and any : Proof Expand in the eigenbasis and then group together vectors with the same eigenvalue.