线性代数设A为m×n矩阵,A^T是A的转置矩阵,证明n元齐次线性方程组AX=O与A^TAX=O同解