A.B.C均为4阶方阵,且有AB=AC,则有B=C.