矩阵ab=aca的行列式不等于零则必有b=c