n阶矩阵B,A满足rank(BA)=rank(A),那么BAX=0与AX=0同解吗?怎么证明?