设A∈Rn×n，对0≠y0∈Rn，按Krylov方法构造矩阵B=（y0，y1，…，yn)，设rankB=r1，y0相对于A的零化多项式为；对0≠z0∈Rn，

设A∈R^n×n，对0≠y₀∈Rⁿ，按Krylov方法构造矩阵B=(y₀，y₁，…，y_n)，设rankB=r₁，y₀相对于A的零化多项式为；对0≠z₀∈Rⁿ，按Lanczos方法构造向量

z_i=P_i(A)z₀(i=0，1，…，r₂)

并设z₀相对于A的零化多项式为，证明：若

span{y₀，y₁，…，，z₀，z₁，…，}=Rⁿ，

则与的最小公倍式为A的最小多项式．