若矩阵A、B、C满足AB=AC,则B=C。