线性代数矩阵,AX=0的解空间的维数为n-r,这是哪个定理?