用矩阵证明设AB为同阶方阵,证明AB可逆的充分必要条件是A,B可逆