为多项式插值提供了简洁而深刻的代数证明，揭示了多项式空间结构与线性方程组解性质之间的本质联系。