线性齐次微分方程组的线性无关的基解向量个数不能少于未知函数个数。