设A，B，C都是n阶方阵，若A(B-C)=O，则下列结论一定正确的是（）
A.B=C
B.AB=AC
C.A=O
D.BA=CA