标签：若方程的解的朗斯基行列式不为，则方程的解线性无关