线性代数题设A是n阶实矩阵,b是任意的n维列向量,证明现行方程组A(转置)Ax=A(转置)b有解.