若由AB=AC必能推出B=C,其中A,B,C为同阶方阵,则A应满足条件( ).