假设s×n矩阵A的秩为r。证明Ax=θ的任意n-r个线性无关的解都是其基础解析。