ormula_10使得对区间 ["a","b"] 上的任意 "t"，因为“微分”是线性算子，所以这个等式可以“延伸”到n-1阶导数。故有以下方程组：将formula_10看作变量，则上式变为一个 "n" 元齐次线性方程组，由于这个方程有非零解，系数矩阵的行列式 "W(f, ..., f)" = 0。进一步可以证明， "W(f, ..., f)" 要么在区间 ["a","b"] 上恒等于零，要么处处不为零（没有零根）。于是可以证明 (2) 有 "n" 个线性无关的解，并且它们线性张成的空间就是 (