设 是 矩阵, ,则 的基础解系中所含向量的个数是