当证明一个矩阵是可逆矩阵时条件是什么,是AB=BA=E 还是 所证矩阵的行列式不为0?