设A是n阶矩阵，ξ₁，ξ₂，…，ξ_t是齐次方程组Ax=0的基础解系，若存在η_i使Aη_i=ξ₁，i=1，2，…，t，证明向量组ξ₁，ξ₂，…，ξ_s，η₁，η₂，…，η_t线性无关．

一般而言，采购过程中有两个阶段需要同供应商谈判：合同前阶段和合同后阶段。