高等代数题设B是m×n的实矩阵,X=(x1,x2,...,xn)是实向量,证明:齐次线性方程组BX=0只有零解等价于B'