有矩阵A、B、C,AB=AC,B=C成立的条件.