可逆矩阵A,是否满足消去律 即 由AB=AC 得 B=C