一直A是m×n矩阵,B是n×p矩阵,如AB=C,且r(C)=m,证明A的行向量线性无关