矩阵AB=AC则B=C