核心考点是线性代数中方程组解的存在性与系数矩阵秩的关系。当方程组有非零解时，意味着至少存在一个自由变量，这要求系数矩阵的秩小于未知数的个数，因此正确答案是B。选项A错误，因为秩等于未知数的个数时，方程组有唯一解；选项C错误，因为秩不可能大于未知数的个数；选项D错误，因为秩与未知数的个数有直接关系。