设a1,a2,...an为n个n维线性无关的向量，A是n阶矩阵，证明：Aa1,Aa2,...Aan线性无关的充分必要条件是A可逆。