又从迭代格式X=BX)+F,k=0,I,有 Xw-X-w=B(X--X-2)==B-(X0-X0), 所以 x-X-sx"-X 将此式代入(1.7)式，便有 -x1 - 这就证明了定理2。( ) ( 1) ( 1) ( 2) 1 (1) (0) ( ) ( ), k k k k k X X B X X B X X − − − − − = − = = − 所以 1 ( ) ( 1) (1) (0) . . k k k X X B X X − − −  − 又从迭代格式 ( 1) ( ) , 0,1 , k k X BX F k + = + = 有 将此式代入（1.7）式，便有 ( ) ( ) ( ) ( ) ( ) * ( ) ( 1) 1 1 0 1 0 1 1 1 k k k k k B X X X X B B B X X B B X X B − − −  − −   − −   − − 这就证明了定理2