设a为n阶实方阵,x与b均为实数域上的n元列向量,证明,线性方程组ax=b有解的充分必要条件是b与方程组a'x=0的解空