设数域R上的n阶方阵A,B,C,方程组AX=0与BAX=0同解,试证:rank(AC)=rank(BAC)