矩阵AB=0时,B不为零因子的充分必要条件是B为行满秩矩阵,