设A是m×s阶矩阵，B为s×n阶矩阵，则方程组BX=0与ABX=0同解的充分条件是( )。