On the convergence of Krylov linear equation solvers