谁会线性代数证明题?设A和B都是n阶矩阵,则AB是可逆矩阵的充分必要条件是A和B都是可逆阵.