AB=AC B=C A非零矩阵