C都是n阶方阵，那么下列哪个是正确的（）A若BC，则必有ABACB若AO，从AB=AC可推出B=C；C若A是非退化矩阵，则必有AB=BA；D若A是非退化矩阵，从AB=AC可推出B=C；